diff options
author | Chris PeBenito <pebenito@ieee.org> | 2020-06-27 17:11:48 -0400 |
---|---|---|
committer | Jason Zaman <perfinion@gentoo.org> | 2020-08-09 19:58:46 -0700 |
commit | 23058b1987420f319b7cefe1e3c5d1cde9a6ffda (patch) | |
tree | 745f78ee1cc83ff0e78f49274f5f521113b0f78c /policy/modules/services/rgmanager.te | |
parent | Rename "pid" interfaces to "runtime" interfaces. (diff) | |
download | hardened-refpolicy-23058b1987420f319b7cefe1e3c5d1cde9a6ffda.tar.gz hardened-refpolicy-23058b1987420f319b7cefe1e3c5d1cde9a6ffda.tar.bz2 hardened-refpolicy-23058b1987420f319b7cefe1e3c5d1cde9a6ffda.zip |
Update callers for "pid" to "runtime" interface rename.
Signed-off-by: Chris PeBenito <pebenito@ieee.org>
Signed-off-by: Jason Zaman <perfinion@gentoo.org>
Diffstat (limited to 'policy/modules/services/rgmanager.te')
-rw-r--r-- | policy/modules/services/rgmanager.te | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/policy/modules/services/rgmanager.te b/policy/modules/services/rgmanager.te index 35e69709..5349e47f 100644 --- a/policy/modules/services/rgmanager.te +++ b/policy/modules/services/rgmanager.te @@ -21,7 +21,7 @@ type rgmanager_initrc_exec_t; init_script_file(rgmanager_initrc_exec_t) type rgmanager_runtime_t alias rgmanager_var_run_t; -files_pid_file(rgmanager_runtime_t) +files_runtime_file(rgmanager_runtime_t) type rgmanager_tmp_t; files_tmp_file(rgmanager_tmp_t) @@ -56,7 +56,7 @@ logging_log_filetrans(rgmanager_t, rgmanager_var_log_t, file) manage_files_pattern(rgmanager_t, rgmanager_runtime_t, rgmanager_runtime_t) manage_sock_files_pattern(rgmanager_t, rgmanager_runtime_t, rgmanager_runtime_t) -files_pid_filetrans(rgmanager_t, rgmanager_runtime_t, { file sock_file }) +files_runtime_filetrans(rgmanager_t, rgmanager_runtime_t, { file sock_file }) kernel_read_kernel_sysctls(rgmanager_t) kernel_read_system_state(rgmanager_t) |