From 05aa151c410687e918abb9ff4fbda2a53d6e308a Mon Sep 17 00:00:00 2001
From: Jeff Tinker <jtinker@google.com>
Date: Fri, 26 Feb 2016 17:26:51 -0800
Subject: [PATCH] Allow mediadrmserver to access media files

bug: 26782004
Change-Id: Ie3d9289d15446efa160550185a2d565e3be2980f
---
 mediadrmserver.te | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mediadrmserver.te b/mediadrmserver.te
index bd2264db8..8b4f073f7 100644
--- a/mediadrmserver.te
+++ b/mediadrmserver.te
@@ -36,6 +36,7 @@ allow mediadrmserver ion_device:chr_file rw_file_perms;
 # Allow access to app_data and media_data_files
 allow mediadrmserver media_data_file:dir create_dir_perms;
 allow mediadrmserver media_data_file:file create_file_perms;
+allow mediadrmserver media_data_file:file { getattr read };
 
 allow mediadrmserver tee_device:chr_file rw_file_perms;
 
-- 
GitLab