Staff X server should be able to output to staff tty.

[Aleksey Nogin]

allow staff_xserver_t staff_devpts_t:chr_file { read write };

audit(1083717236.610:0): avc:  denied  { read write } for  pid=3337 
exe=/usr/X11R6/bin/Xorg path=/dev/pts/5 dev= ino=7 
scontext=aleksey:staff_r:staff_xserver_t 
tcontext=aleksey:object_r:staff_devpts_t tclass=chr_file
audit(1083717236.610:0): avc:  denied  { read write } for  pid=3337 
exe=/usr/X11R6/bin/Xorg path=/dev/pts/5 dev= ino=7 
scontext=aleksey:staff_r:staff_xserver_t 
tcontext=aleksey:object_r:staff_devpts_t tclass=chr_file

policy-sources-1.11.2-21

-- 
Aleksey Nogin

Home Page: http://nogin.org/
E-Mail: nogin at cs.caltech.edu (office), aleksey at nogin.org (personal)
Office: Jorgensen 70, tel: (626) 395-2907