## Gnome clock handler for setting the time. ######################################## ## ## Execute a domain transition to run gnomeclock. ## ## ## ## Domain allowed to transition. ## ## # interface(`gnomeclock_domtrans',` gen_require(` type gnomeclock_t, gnomeclock_exec_t; ') domtrans_pattern($1, gnomeclock_exec_t, gnomeclock_t) ') ######################################## ## ## Execute gnomeclock in the gnomeclock domain, and ## allow the specified role the gnomeclock domain. ## ## ## ## Domain allowed access ## ## ## ## ## Role allowed access. ## ## # interface(`gnomeclock_run',` gen_require(` type gnomeclock_t; ') gnomeclock_domtrans($1) role $2 types gnomeclock_t; ') ######################################## ## ## Send and receive messages from ## gnomeclock over dbus. ## ## ## ## Domain allowed access. ## ## # interface(`gnomeclock_dbus_chat',` gen_require(` type gnomeclock_t; class dbus send_msg; ') allow $1 gnomeclock_t:dbus send_msg; allow gnomeclock_t $1:dbus send_msg; ')