From: Miroslav Grepl Date: Tue, 29 Nov 2011 11:40:00 +0000 (+0100) Subject: Fix devicekit_manage_pid_files() interface X-Git-Tag: 000~65^2~1 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=91cfd72341626a6bb58a6db1cf481bffc65a1ca7;p=people%2Fstevee%2Fselinux-policy.git Fix devicekit_manage_pid_files() interface --- diff --git a/policy/modules/services/devicekit.if b/policy/modules/services/devicekit.if index 7cdc0f59..d41e4fed 100644 --- a/policy/modules/services/devicekit.if +++ b/policy/modules/services/devicekit.if @@ -286,7 +286,7 @@ interface(`devicekit_manage_pid_files',` ') files_search_pids($1) - rw_dirs_pattern($1, devicekit_var_run_t, devicekit_var_run_t) + manage_dirs_pattern($1, devicekit_var_run_t, devicekit_var_run_t) manage_files_pattern($1, devicekit_var_run_t, devicekit_var_run_t) ')