##
## Flash player
##
#####################################
##
## Manage the Flash player home files
##
##
##
## Domain allowed access
##
##
#
interface(`flash_manage_home',`
gen_require(`
type flash_home_t;
')
manage_files_pattern($1, flash_home_t, flash_home_t)
manage_dirs_pattern($1, flash_home_t, flash_home_t)
')
####################################
##
## Relabel the flash home resources
##
##
##
## Domain allowed access
##
##
#
interface(`flash_relabel_home',`
gen_require(`
type flash_home_t;
')
relabel_files_pattern($1, flash_home_t, flash_home_t)
relabel_dirs_pattern($1, flash_home_t, flash_home_t)
')