## rgmanager - Resource Group Manager
#######################################
##
## Execute a domain transition to run rgmanager.
##
##
##
## Domain allowed to transition.
##
##
#
interface(`rgmanager_domtrans',`
gen_require(`
type rgmanager_t, rgmanager_exec_t;
')
corecmd_search_bin($1)
domtrans_pattern($1, rgmanager_exec_t, rgmanager_t)
')
########################################
##
## Connect to rgmanager over an unix stream socket.
##
##
##
## Domain allowed access.
##
##
#
interface(`rgmanager_stream_connect',`
gen_require(`
type rgmanager_t, rgmanager_var_run_t;
')
files_search_pids($1)
stream_connect_pattern($1, rgmanager_var_run_t, rgmanager_var_run_t, rgmanager_t)
')
######################################
##
## Allow manage rgmanager tmp files.
##
##
##
## Domain allowed access.
##
##
#
interface(`rgmanager_manage_tmp_files',`
gen_require(`
type rgmanager_tmp_t;
')
files_search_tmp($1)
manage_files_pattern($1, rgmanager_tmp_t, rgmanager_tmp_t)
')
######################################
##
## Allow manage rgmanager tmpfs files.
##
##
##
## Domain allowed access.
##
##
#
interface(`rgmanager_manage_tmpfs_files',`
gen_require(`
type rgmanager_tmpfs_t;
')
fs_search_tmpfs($1)
manage_files_pattern($1, rgmanager_tmpfs_t, rgmanager_tmpfs_t)
')