|
Chris PeBenito |
fa45da |
## <summary>Ricci cluster management agent</summary>
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
fa45da |
########################################
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Execute a domain transition to run ricci.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## <param name="domain">
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Domain allowed to transition.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## </param>
|
|
Chris PeBenito |
fa45da |
#
|
|
Chris PeBenito |
fa45da |
interface(`ricci_domtrans',`
|
|
Chris PeBenito |
fa45da |
gen_require(`
|
|
Chris PeBenito |
fa45da |
type ricci_t, ricci_exec_t;
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
c0868a |
domtrans_pattern($1,ricci_exec_t,ricci_t)
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
fa45da |
########################################
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Execute a domain transition to run ricci_modcluster.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## <param name="domain">
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Domain allowed to transition.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## </param>
|
|
Chris PeBenito |
fa45da |
#
|
|
Chris PeBenito |
fa45da |
interface(`ricci_domtrans_modcluster',`
|
|
Chris PeBenito |
fa45da |
gen_require(`
|
|
Chris PeBenito |
fa45da |
type ricci_modcluster_t, ricci_modcluster_exec_t;
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
c0868a |
domtrans_pattern($1,ricci_modcluster_exec_t,ricci_modcluster_t)
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
fa45da |
########################################
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Do not audit attempts to use
|
|
Chris PeBenito |
fa45da |
## ricci_modcluster file descriptors.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## <param name="domain">
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## The type of process not to audit.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## </param>
|
|
Chris PeBenito |
fa45da |
#
|
|
Chris PeBenito |
fa45da |
interface(`ricci_dontaudit_use_modcluster_fds',`
|
|
Chris PeBenito |
fa45da |
gen_require(`
|
|
Chris PeBenito |
fa45da |
type ricci_modcluster_t;
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
fa45da |
dontaudit $1 ricci_modcluster_t:fd use;
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
fa45da |
########################################
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Do not audit attempts to read write
|
|
Chris PeBenito |
fa45da |
## ricci_modcluster unamed pipes.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## <param name="domain">
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## The type of process not to audit.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## </param>
|
|
Chris PeBenito |
fa45da |
#
|
|
Chris PeBenito |
fa45da |
interface(`ricci_dontaudit_rw_modcluster_pipes',`
|
|
Chris PeBenito |
fa45da |
gen_require(`
|
|
Chris PeBenito |
fa45da |
type ricci_modcluster_t;
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
fa45da |
dontaudit $1 ricci_modcluster_t:fifo_file { read write };
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
fa45da |
########################################
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Connect to ricci_modclusterd over an unix stream socket.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## <param name="domain">
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Domain allowed access.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## </param>
|
|
Chris PeBenito |
fa45da |
#
|
|
Chris PeBenito |
fa45da |
interface(`ricci_stream_connect_modclusterd',`
|
|
Chris PeBenito |
fa45da |
gen_require(`
|
|
Chris PeBenito |
fa45da |
type ricci_modclusterd_t, ricci_modcluster_var_run_t;
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
fa45da |
files_search_pids($1)
|
|
Chris PeBenito |
fa45da |
allow $1 ricci_modcluster_var_run_t:sock_file write;
|
|
Chris PeBenito |
fa45da |
allow $1 ricci_modclusterd_t:unix_stream_socket connectto;
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
fa45da |
########################################
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Execute a domain transition to run ricci_modlog.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## <param name="domain">
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Domain allowed to transition.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## </param>
|
|
Chris PeBenito |
fa45da |
#
|
|
Chris PeBenito |
fa45da |
interface(`ricci_domtrans_modlog',`
|
|
Chris PeBenito |
fa45da |
gen_require(`
|
|
Chris PeBenito |
fa45da |
type ricci_modlog_t, ricci_modlog_exec_t;
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
c0868a |
domtrans_pattern($1,ricci_modlog_exec_t,ricci_modlog_t)
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
fa45da |
########################################
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Execute a domain transition to run ricci_modrpm.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## <param name="domain">
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Domain allowed to transition.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## </param>
|
|
Chris PeBenito |
fa45da |
#
|
|
Chris PeBenito |
fa45da |
interface(`ricci_domtrans_modrpm',`
|
|
Chris PeBenito |
fa45da |
gen_require(`
|
|
Chris PeBenito |
fa45da |
type ricci_modrpm_t, ricci_modrpm_exec_t;
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
c0868a |
domtrans_pattern($1,ricci_modrpm_exec_t,ricci_modrpm_t)
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
fa45da |
########################################
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Execute a domain transition to run ricci_modservice.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## <param name="domain">
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Domain allowed to transition.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## </param>
|
|
Chris PeBenito |
fa45da |
#
|
|
Chris PeBenito |
fa45da |
interface(`ricci_domtrans_modservice',`
|
|
Chris PeBenito |
fa45da |
gen_require(`
|
|
Chris PeBenito |
fa45da |
type ricci_modservice_t, ricci_modservice_exec_t;
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
c0868a |
domtrans_pattern($1,ricci_modservice_exec_t,ricci_modservice_t)
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
fa45da |
########################################
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Execute a domain transition to run ricci_modstorage.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## <param name="domain">
|
|
Chris PeBenito |
fa45da |
## <summary>
|
|
Chris PeBenito |
fa45da |
## Domain allowed to transition.
|
|
Chris PeBenito |
fa45da |
## </summary>
|
|
Chris PeBenito |
fa45da |
## </param>
|
|
Chris PeBenito |
fa45da |
#
|
|
Chris PeBenito |
fa45da |
interface(`ricci_domtrans_modstorage',`
|
|
Chris PeBenito |
fa45da |
gen_require(`
|
|
Chris PeBenito |
fa45da |
type ricci_modstorage_t, ricci_modstorage_exec_t;
|
|
Chris PeBenito |
fa45da |
')
|
|
Chris PeBenito |
fa45da |
|
|
Chris PeBenito |
c0868a |
domtrans_pattern($1,ricci_modstorage_exec_t,ricci_modstorage_t)
|
|
Chris PeBenito |
fa45da |
')
|