prelude patch from Dan Walsh

This commit is contained in:
Jeremy Solt 2010-09-01 11:15:25 -04:00 committed by Chris PeBenito
parent f3c5e77754
commit a59e50c12c

View File

@ -72,9 +72,10 @@ manage_dirs_pattern(prelude_t, prelude_var_lib_t, prelude_var_lib_t)
manage_files_pattern(prelude_t, prelude_var_lib_t, prelude_var_lib_t) manage_files_pattern(prelude_t, prelude_var_lib_t, prelude_var_lib_t)
files_search_var_lib(prelude_t) files_search_var_lib(prelude_t)
manage_dirs_pattern(prelude_t, prelude_var_run_t, prelude_var_run_t)
manage_files_pattern(prelude_t, prelude_var_run_t, prelude_var_run_t) manage_files_pattern(prelude_t, prelude_var_run_t, prelude_var_run_t)
manage_sock_files_pattern(prelude_t, prelude_var_run_t, prelude_var_run_t) manage_sock_files_pattern(prelude_t, prelude_var_run_t, prelude_var_run_t)
files_pid_filetrans(prelude_t, prelude_var_run_t, file) files_pid_filetrans(prelude_t, prelude_var_run_t, { dir file })
kernel_read_system_state(prelude_t) kernel_read_system_state(prelude_t)
kernel_read_sysctl(prelude_t) kernel_read_sysctl(prelude_t)