From: dominick.grift@gmail.com (grift)
Date: Tue, 27 Nov 2012 14:39:42 +0100
Subject: [refpolicy] [PATCH 6/7] Make rtkit calls optional
In-Reply-To: <1353612118-9745-7-git-send-email-sven.vermeulen@siphos.be>
References: <1353612118-9745-1-git-send-email-sven.vermeulen@siphos.be>
	<1353612118-9745-7-git-send-email-sven.vermeulen@siphos.be>
Message-ID: <1354023582.1888.17.camel@localhost>
To: refpolicy@oss.tresys.com
List-Id: refpolicy.oss.tresys.com

On Thu, 2012-11-22 at 20:21 +0100, Sven Vermeulen wrote:
> The rtkit module is not a mandatory component for pulseaudio, so should be
> within an optional_policy() clause.
> 
> Signed-off-by: Sven Vermeulen <sven.vermeulen@siphos.be>
> ---
>  pulseaudio.te |    6 ++++--
>  1 files changed, 4 insertions(+), 2 deletions(-)
> 
> diff --git a/pulseaudio.te b/pulseaudio.te
> index 99e371b..b42f0f7 100644
> --- a/pulseaudio.te
> +++ b/pulseaudio.te
> @@ -224,8 +224,6 @@ 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)
> -
>  # TODO: ~/.cache
>  userdom_manage_user_home_content_files(pulseaudio_client)
>  
> @@ -249,3 +247,7 @@ tunable_policy(`use_samba_home_dirs',`
>  optional_policy(`
>  	pulseaudio_dbus_chat(pulseaudio_client)
>  ')
> +
> +optional_policy(`
> +	rtkit_scheduled(pulseaudio_client)
> +')

Is it not mandatory? Merged, Thanks