commit 5f22a4ddffa49a75b228f3e1250e07222abb2607
author Chong Zhang <chz@google.com> Wed Apr 19 18:56:25 2017 +0000
committer Android (Google) Code Review <android-gerrit@google.com> Wed Apr 19 18:56:26 2017 +0000
tree 6a5b57e090549745a92b6a7992ff403047a59537
parent 0b99924986e1362444c211bb4d943db43e29641d
parent 492dab2a7bb3d568d60b3a08b9e5d48055772171

Merge "grant mediadrmserver permission to read dir from /system/*" into oc-dev

public/mediadrmserver.te

diff --git a/public/mediadrmserver.te b/public/mediadrmserver.te
index eccefc6..cef8121 100644
--- a/public/mediadrmserver.te
+++ b/public/mediadrmserver.te
@@ -16,6 +16,7 @@
 allow mediadrmserver mediametrics_service:service_manager find;
 allow mediadrmserver processinfo_service:service_manager find;
 allow mediadrmserver surfaceflinger_service:service_manager find;
+allow mediadrmserver system_file:dir r_dir_perms;
 
 add_service(mediadrmserver, mediacasserver_service)