Use userdom_rw_user_tmp_files() instead of userdom_rw_user_tmpfs_files() in gluster.te

This commit is contained in:
Miroslav Grepl 2015-06-18 20:21:46 +02:00
parent 66628cef58
commit 1bee2ddf1b

View File

@ -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)