Alex Klyubin | ea57fbf | 2013-09-13 16:58:43 -0700 | [diff] [blame] | 1 | # Label the .gps.interface.pipe.to_jni pipe with gps_data_file. |
2 | type_transition system_server system_data_file:fifo_file gps_data_file ".gps.interface.pipe.to_jni"; | ||||
Stephen Smalley | 6695759 | 2014-06-20 11:16:37 -0400 | [diff] [blame] | 3 | allow system_server gps_data_file:fifo_file create_file_perms; |
Mark Salyzyn | 4be215a | 2014-10-13 16:31:39 -0700 | [diff] [blame] | 4 | allow system_server gps_data_file:dir rw_dir_perms; |