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