| 1 |
commit: 75a4146c71914a7fde5a09918baa4e54db21683d |
| 2 |
Author: Jason Zaman <jason <AT> perfinion <DOT> com> |
| 3 |
AuthorDate: Thu Jun 2 04:39:36 2016 +0000 |
| 4 |
Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Thu Jun 2 04:39:36 2016 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=75a4146c |
| 7 |
|
| 8 |
userdomain: Add user runtime to gentoo-specific interfaces |
| 9 |
|
| 10 |
policy/modules/system/userdomain.if | 1 + |
| 11 |
1 file changed, 1 insertion(+) |
| 12 |
|
| 13 |
diff --git a/policy/modules/system/userdomain.if b/policy/modules/system/userdomain.if |
| 14 |
index beed625..00b9335 100644 |
| 15 |
--- a/policy/modules/system/userdomain.if |
| 16 |
+++ b/policy/modules/system/userdomain.if |
| 17 |
@@ -3916,5 +3916,6 @@ interface(`userdom_manage_user_tmp_chr_files',` |
| 18 |
') |
| 19 |
|
| 20 |
manage_chr_files_pattern($1, user_tmp_t, user_tmp_t) |
| 21 |
+ userdom_search_user_runtime($1) |
| 22 |
files_search_tmp($1) |
| 23 |
') |
Archives