From: cpebenito@tresys.com (Christopher J. PeBenito)
Date: Wed, 23 Jan 2013 07:28:20 -0500
Subject: [refpolicy] [PATCH 04/13] udev.if: Call files_search_pid
 instead of files_search_var_lib in udev_manage_pid_files
In-Reply-To: <1358026351-12955-5-git-send-email-bigon@debian.org>
References: <1358026351-12955-1-git-send-email-bigon@debian.org>
	<1358026351-12955-5-git-send-email-bigon@debian.org>
Message-ID: <50FFD764.2060907@tresys.com>
To: refpolicy@oss.tresys.com
List-Id: refpolicy.oss.tresys.com

On 01/12/13 16:32, Laurent Bigonville wrote:
> From: Laurent Bigonville <bigon@bigon.be>
> 
> udev_manage_pid_files is supposed to manage files that are located in
> /var/run, allow to search files in this directory instead of /var/lib
> ---
>  policy/modules/system/udev.if |    2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/policy/modules/system/udev.if b/policy/modules/system/udev.if
> index 0f64692..9a1650d 100644
> --- a/policy/modules/system/udev.if
> +++ b/policy/modules/system/udev.if
> @@ -296,7 +296,7 @@ interface(`udev_manage_pid_files',`
>  		type udev_var_run_t;
>  	')
>  
> -	files_search_var_lib($1)
> +	files_search_pids($1)
>  	manage_files_pattern($1, udev_var_run_t, udev_var_run_t)
>  ')

Merged.

-- 
Chris PeBenito
Tresys Technology, LLC
www.tresys.com | oss.tresys.com