## Finger user information service.
########################################
##
## Execute fingerd in the fingerd domain.
##
##
##
## Domain allowed to transition.
##
##
#
interface(`finger_domtrans',`
gen_require(`
type fingerd_t, fingerd_exec_t;
')
corecmd_search_bin($1)
domtrans_pattern($1, fingerd_exec_t, fingerd_t)
')