From: bigon@debian.org (Laurent Bigonville) Date: Sat, 12 Jan 2013 22:32:22 +0100 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-1-git-send-email-bigon@debian.org> References: <1358026351-12955-1-git-send-email-bigon@debian.org> Message-ID: <1358026351-12955-5-git-send-email-bigon@debian.org> To: refpolicy@oss.tresys.com List-Id: refpolicy.oss.tresys.com From: Laurent Bigonville 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) ') -- 1.7.10.4