## Remote shell service.
########################################
##
## Execute rshd in the rshd domain.
##
##
##
## Domain allowed to transition.
##
##
#
interface(`rshd_domtrans',`
gen_require(`
type rshd_exec_t, rshd_t;
')
corecmd_search_bin($1)
domtrans_pattern($1, rshd_exec_t, rshd_t)
')