From ea889ac720a4fddde6d8376cb5dc9336d14e867e Mon Sep 17 00:00:00 2001 From: Dominick Grift Date: Wed, 6 Jul 2011 23:37:06 +0200 Subject: [PATCH] callers need to stream connect to mozilla plugin ( gecko media player plugin ) #711605 --- policy/modules/apps/mozilla.if | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/policy/modules/apps/mozilla.if b/policy/modules/apps/mozilla.if index 8f91e558..d0fcc879 100644 --- a/policy/modules/apps/mozilla.if +++ b/policy/modules/apps/mozilla.if @@ -233,13 +233,14 @@ interface(`mozilla_domtrans_plugin',` # interface(`mozilla_run_plugin',` gen_require(` - type mozilla_plugin_t; + type mozilla_plugin_t, mozilla_plugin_tmp_t; ') mozilla_domtrans_plugin($1) role $2 types mozilla_plugin_t; allow $1 mozilla_plugin_t:unix_stream_socket { connectto rw_socket_perms }; + allow $1 mozilla_plugin_tmp_t:sock_file write_sock_file_perms; allow $1 mozilla_plugin_t:fd use; allow mozilla_plugin_t $1:unix_stream_socket rw_socket_perms; -- 2.47.2