Guest patch from Dan Walsh.

This commit is contained in:
Chris PeBenito 2010-03-05 14:09:49 -05:00
parent 9c709c46a1
commit 09b92dcc3c

View File

@ -1,5 +1,5 @@
policy_module(guest, 1.0.0) policy_module(guest, 1.0.1)
######################################## ########################################
# #
@ -16,7 +16,11 @@ userdom_restricted_user_template(guest)
# #
optional_policy(` optional_policy(`
java_role(guest_r, guest_t) java_role_template(guest, guest_r, guest_t)
')
optional_policy(`
mono_role_template(guest, guest_r, guest_t)
') ')
#gen_user(guest_u,, guest_r, s0, s0) #gen_user(guest_u,, guest_r, s0, s0)