## Portslave terminal server software
########################################
##
## Execute portslave with a domain transition.
##
##
##
## Domain allowed to transition.
##
##
#
interface(`portslave_domtrans',`
gen_require(`
type portslave_t, portslave_exec_t;
')
domtrans_pattern($1, portslave_exec_t, portslave_t)
')