Use userdom_filetrans_type instead of userdom_filetrans_domain in userdomain.te

This commit is contained in:
Miroslav Grepl 2014-01-06 09:14:52 +01:00
parent 9d88e18305
commit c0bc504789
1 changed files with 2 additions and 2 deletions

View File

@ -44784,7 +44784,7 @@ index 9dc60c6..daee32c 100644
+')
+
diff --git a/policy/modules/system/userdomain.te b/policy/modules/system/userdomain.te
index f4ac38d..99c8197 100644
index f4ac38d..a3fcbf1 100644
--- a/policy/modules/system/userdomain.te
+++ b/policy/modules/system/userdomain.te
@@ -7,48 +7,43 @@ policy_module(userdomain, 4.9.1)
@ -45053,7 +45053,7 @@ index f4ac38d..99c8197 100644
+')
+
+optional_policy(`
+ cvs_filetrans_home_content(userdom_filetrans_domain)
+ cvs_filetrans_home_content(userdom_filetrans_type)
+')
+
+optional_policy(`