Rearrage userdom_delete_user_tmpfs_files() interface.

This commit is contained in:
Chris PeBenito 2013-12-03 09:45:16 -05:00
parent b0068ace7d
commit 3b52b87615
1 changed files with 19 additions and 19 deletions

View File

@ -2661,25 +2661,6 @@ interface(`userdom_tmp_filetrans_user_tmp',`
files_tmp_filetrans($1, user_tmp_t, $2, $3)
')
########################################
## <summary>
## Delete user tmpfs files.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
interface(`userdom_delete_user_tmpfs_files',`
gen_require(`
type user_tmpfs_t;
')
delete_files_pattern($1, user_tmpfs_t, user_tmpfs_t)
fs_search_tmpfs($1)
')
########################################
## <summary>
## Read user tmpfs files.
@ -2721,6 +2702,25 @@ interface(`userdom_rw_user_tmpfs_files',`
fs_search_tmpfs($1)
')
########################################
## <summary>
## Delete user tmpfs files.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
interface(`userdom_delete_user_tmpfs_files',`
gen_require(`
type user_tmpfs_t;
')
delete_files_pattern($1, user_tmpfs_t, user_tmpfs_t)
fs_search_tmpfs($1)
')
########################################
## <summary>
## Create, read, write, and delete user tmpfs files.