From bc40d9081620c1587dcb2e3526834e2143bba56a Mon Sep 17 00:00:00 2001 From: Laurent Bigonville Date: Sat, 12 Jan 2013 22:32:22 +0100 Subject: [PATCH] udev.if: Call files_search_pid instead of files_search_var_lib in udev_manage_pid_files 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 0f6469286..9a1650d37 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) ')