| commit | a395f875876fd7598ed324e97bdf283c8e1c1139 | [log] [tgz] |
|---|---|---|
| author | Jeff Tinker <jtinker@google.com> | Sat Feb 27 02:06:00 2016 +0000 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Sat Feb 27 02:06:00 2016 +0000 |
| tree | 0cbbe01e70a393a3003eb411335497c2e403e7eb | |
| parent | 3872ee396898fcb23bdc49c37fd02d81014aaa5f [diff] | |
| parent | 05aa151c410687e918abb9ff4fbda2a53d6e308a [diff] |
Merge "Allow mediadrmserver to access media files" into nyc-dev
diff --git a/mediadrmserver.te b/mediadrmserver.te index bd2264d..8b4f073 100644 --- a/mediadrmserver.te +++ b/mediadrmserver.te
@@ -36,6 +36,7 @@ # 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;