add append to /dev/null write

This commit is contained in:
Chris PeBenito 2005-05-02 15:42:20 +00:00
parent f48a2aa49a
commit 5eafc37492

View File

@ -271,13 +271,13 @@ class chr_file { getattr write ioctl };
define(`devices_discard_data_stream',` define(`devices_discard_data_stream',`
requires_block_template(devices_discard_data_stream_depend,$2) requires_block_template(devices_discard_data_stream_depend,$2)
allow $1 device_t:dir { getattr read search }; allow $1 device_t:dir { getattr read search };
allow $1 null_device_t:chr_file { getattr write }; allow $1 null_device_t:chr_file { getattr append write };
') ')
define(`devices_discard_data_stream_depend',` define(`devices_discard_data_stream_depend',`
type device_t, null_device_t; type device_t, null_device_t;
class device_t:dir { getattr read search }; class device_t:dir { getattr read search };
class chr_file { getattr write }; class chr_file { getattr append write };
') ')
######################################## ########################################