| commit | c6ec60d19972247892113ab2e63e1a1c856bf425 | [log] [tgz] |
|---|---|---|
| author | Nick Kralevich <nnk@google.com> | Wed Mar 26 23:12:13 2014 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Mar 26 23:12:14 2014 +0000 |
| tree | d5cd5df92bc8afeb2b0e3933f8233e3aa34b08e2 | |
| parent | da2bbbe08971caefd9c87638cce6894bb2cd6b24 [diff] | |
| parent | 10ce0c37d2db0faacc8d2c7b1c2f7fafada5b155 [diff] |
Merge "Allow mpdecision to read mediaserver /proc/pid files."
diff --git a/sepolicy/mpdecision.te b/sepolicy/mpdecision.te index 0107b83..c31c296 100644 --- a/sepolicy/mpdecision.te +++ b/sepolicy/mpdecision.te
@@ -37,3 +37,4 @@ # This is needed to allow mpdecision to look at system_server's # /proc/PID/status file. r_dir_file(mpdecision, system_server) +r_dir_file(mpdecision, mediaserver)