diff --git a/drmserver.te b/drmserver.te index 7bc0b38182d607be215f4e33baf6cd8c70dfd7a2..af629a5f4f74161c94e0b2f999d9263d914bc984 100644 --- a/drmserver.te +++ b/drmserver.te @@ -34,6 +34,8 @@ allow drmserver apk_data_file:dir rw_dir_perms; type_transition drmserver apk_data_file:sock_file drmserver_socket; allow drmserver drmserver_socket:sock_file create_file_perms; allow drmserver tee:unix_stream_socket connectto; +# Delete old socket file if present. +allow drmserver apk_data_file:sock_file unlink; # After taking a video, drmserver looks at the video file. r_dir_file(drmserver, media_rw_data_file)