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 0bfccd
	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 0bfccd
	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 0bfccd
	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 0bfccd
	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 0bfccd
	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 0bfccd
	domtrans_pattern($1, ricci_modstorage_exec_t, ricci_modstorage_t)
Chris PeBenito fa45da
')