Gentoo Archives: gentoo-commits

From: Sven Vermeulen <sven.vermeulen@××××××.be>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/hardened-refpolicy:master commit in: policy/modules/system/
Date: Mon, 04 Mar 2013 20:15:22
Message-Id: 1362427983.adcf31772b26281c158a0d69743a4b349e47e22f.SwifT@gentoo
1 commit: adcf31772b26281c158a0d69743a4b349e47e22f
2 Author: Chris PeBenito <cpebenito <AT> tresys <DOT> com>
3 AuthorDate: Mon Feb 25 16:26:13 2013 +0000
4 Commit: Sven Vermeulen <sven.vermeulen <AT> siphos <DOT> be>
5 CommitDate: Mon Mar 4 20:13:03 2013 +0000
6 URL: http://git.overlays.gentoo.org/gitweb/?p=proj/hardened-refpolicy.git;a=commit;h=adcf3177
7
8 Fix bug in userdom_delete_all_user_home_content_files() from Kohei KaiGai.
9
10 ---
11 policy/modules/system/userdomain.if | 2 +-
12 policy/modules/system/userdomain.te | 2 +-
13 2 files changed, 2 insertions(+), 2 deletions(-)
14
15 diff --git a/policy/modules/system/userdomain.if b/policy/modules/system/userdomain.if
16 index adcc300..93dacbe 100644
17 --- a/policy/modules/system/userdomain.if
18 +++ b/policy/modules/system/userdomain.if
19 @@ -1981,7 +1981,7 @@ interface(`userdom_delete_all_user_home_content_files',`
20 ')
21
22 userdom_search_user_home_content($1)
23 - delete_files_pattern($1 { user_home_dir_t user_home_content_type }, user_home_content_type)
24 + delete_files_pattern($1, { user_home_dir_t user_home_content_type }, user_home_content_type)
25 ')
26
27 ########################################
28
29 diff --git a/policy/modules/system/userdomain.te b/policy/modules/system/userdomain.te
30 index e2b538b..9da3e54 100644
31 --- a/policy/modules/system/userdomain.te
32 +++ b/policy/modules/system/userdomain.te
33 @@ -1,4 +1,4 @@
34 -policy_module(userdomain, 4.8.5)
35 +policy_module(userdomain, 4.8.6)
36
37 ########################################
38 #