Revert "Fix pulseaudio_role() and move usermanage_home_role() template to appropriate...

This reverts commit 732e5bc35d39e7911eb7787f69ae326cc0472594.

diff --git a/policy/modules/apps/mozilla.if b/policy/modules/apps/mozilla.if
index 578564e64c60ed6a8d96c37658a5596d07ed4584..8fe4551fc0fa7037a19af7ef976e336990da7ab3 100644 (file)
--- a/policy/modules/apps/mozilla.if
+++ b/policy/modules/apps/mozilla.if
@@ -52,7 +52,6 @@ interface(`mozilla_role',`
        mozilla_dbus_chat($2)
 
        userdom_manage_tmp_role($1, mozilla_t)
-       userdom_manage_home_role($1, mozilla_t)
 
        optional_policy(`
                nsplugin_role($1, mozilla_t)

diff --git a/policy/modules/apps/nsplugin.if b/policy/modules/apps/nsplugin.if
index a435e978e121e59fd760d92801930c77d51ac1ec..1925bd99aea2c3602dc891e32ea32c2330c512b6 100644 (file)
--- a/policy/modules/apps/nsplugin.if
+++ b/policy/modules/apps/nsplugin.if
@@ -104,7 +104,6 @@ ifdef(`hide_broken_symptoms', `
        userdom_use_inherited_user_terminals(nsplugin_config_t)
        userdom_dontaudit_setattr_user_home_content_files(nsplugin_t)
        userdom_manage_tmpfs_role($1, nsplugin_t)
-       userdom_manage_home_role($1, nsplugin_t)
 
        optional_policy(`
                pulseaudio_role($1, nsplugin_t)

diff --git a/policy/modules/apps/pulseaudio.if b/policy/modules/apps/pulseaudio.if
index 8e5613236963745bfef4336c4a3e34218e707571..a08cb820db814468fed6e8b273bb65d8d0a2c628 100644 (file)
--- a/policy/modules/apps/pulseaudio.if
+++ b/policy/modules/apps/pulseaudio.if
@@ -35,7 +35,7 @@ interface(`pulseaudio_role',`
        allow pulseaudio_t $2:unix_stream_socket connectto;
        allow $2 pulseaudio_t:unix_stream_socket connectto;
 
-       #userdom_manage_home_role($1, pulseaudio_t)
+       userdom_manage_home_role($1, pulseaudio_t)
        userdom_manage_tmp_role($1, pulseaudio_t)
        userdom_manage_tmpfs_role($1, pulseaudio_t)