From 1bee2ddf1bf55ade03bf2b89da752d7a3ccf45bb Mon Sep 17 00:00:00 2001 From: Miroslav Grepl Date: Thu, 18 Jun 2015 20:21:46 +0200 Subject: [PATCH] Use userdom_rw_user_tmp_files() instead of userdom_rw_user_tmpfs_files() in gluster.te --- policy-rawhide-contrib.patch | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/policy-rawhide-contrib.patch b/policy-rawhide-contrib.patch index 5734f67b..6873ee8c 100644 --- a/policy-rawhide-contrib.patch +++ b/policy-rawhide-contrib.patch @@ -30670,7 +30670,7 @@ index 0000000..fc9bf19 + diff --git a/glusterd.te b/glusterd.te new file mode 100644 -index 0000000..e8706c0 +index 0000000..c46100b --- /dev/null +++ b/glusterd.te @@ -0,0 +1,271 @@ @@ -30870,8 +30870,8 @@ index 0000000..e8706c0 +userdom_manage_user_home_dirs(glusterd_t) +userdom_filetrans_home_content(glusterd_t) +userdom_read_user_tmp_files(glusterd_t) -+userdom_delete_user_tmpfs_files(glusterd_t) -+userdom_rw_user_tmpfs_files(glusterd_t) ++userdom_delete_user_tmp_files(glusterd_t) ++userdom_rw_user_tmp_files(glusterd_t) +userdom_kill_all_users(glusterd_t) + +mount_domtrans(glusterd_t)