Fix bug in userdom_delete_all_user_home_content_files() from Kohei KaiGai.

This commit is contained in:
Chris PeBenito 2013-02-25 11:26:13 -05:00
parent fd569471c3
commit 8e122068e4
2 changed files with 2 additions and 2 deletions

View File

@ -1956,7 +1956,7 @@ interface(`userdom_delete_all_user_home_content_files',`
')
userdom_search_user_home_content($1)
delete_files_pattern($1 { user_home_dir_t user_home_content_type }, user_home_content_type)
delete_files_pattern($1, { user_home_dir_t user_home_content_type }, user_home_content_type)
')
########################################

View File

@ -1,4 +1,4 @@
policy_module(userdomain, 4.8.5)
policy_module(userdomain, 4.8.6)
########################################
#