From 2d743657f4706b7deffae6e9389b73b549f5c442 Mon Sep 17 00:00:00 2001
From: Chris PeBenito <pebenito@gentoo.org>
Date: Feb 08 2010 16:43:44 +0000
Subject: Userdomain patch from Stefan Schulze Frielinghaus.


---

diff --git a/policy/modules/system/userdomain.if b/policy/modules/system/userdomain.if
index d6198c5..38684a9 100644
--- a/policy/modules/system/userdomain.if
+++ b/policy/modules/system/userdomain.if
@@ -1577,6 +1577,24 @@ interface(`userdom_dontaudit_search_user_home_content',`
 
 ########################################
 ## <summary>
+##	List contents of users home directory.
+## </summary>
+## <param name="domain">
+##	<summary>
+##	Domain allowed access.
+##	</summary>
+## </param>
+#
+interface(`userdom_list_user_home_content',`
+	gen_require(`
+		type user_home_t;
+	')
+
+	allow $1 user_home_t:dir list_dir_perms;
+')
+
+########################################
+## <summary>
 ##	Create, read, write, and delete directories
 ##	in a user home subdirectory.
 ## </summary>
diff --git a/policy/modules/system/userdomain.te b/policy/modules/system/userdomain.te
index c01f7ae..b7ff482 100644
--- a/policy/modules/system/userdomain.te
+++ b/policy/modules/system/userdomain.te
@@ -1,5 +1,5 @@
 
-policy_module(userdomain, 4.3.1)
+policy_module(userdomain, 4.3.2)
 
 ########################################
 #