[patch] pulseaudio-optional-rtkit.patch

pulseaudio-optional-rtkit.patch (text/plain), 702 bytes, created by iGentoo on 2012-11-20 09:37:40 UTC

 policy/modules/contrib/pulseaudio.te | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/policy/modules/contrib/pulseaudio.te b/policy/modules/contrib/pulseaudio.te
index 99e371b..fa051a3 100644
--- a/policy/modules/contrib/pulseaudio.te
+++ b/policy/modules/contrib/pulseaudio.te
@@ -224,7 +224,9 @@ pulseaudio_home_filetrans_pulseaudio_home(pulseaudio_client, file, ".esd_auth")
 pulseaudio_home_filetrans_pulseaudio_home(pulseaudio_client, file, ".pulse-cookie")
 pulseaudio_signull(pulseaudio_client)
 
-rtkit_scheduled(pulseaudio_client)
+optional_policy(`
+	rtkit_scheduled(pulseaudio_client)
+')
 
 # TODO: ~/.cache
 userdom_manage_user_home_content_files(pulseaudio_client)