Allow mozilla_plugin_config_t to use inherited pty

diff --git a/policy/modules/apps/mozilla.te b/policy/modules/apps/mozilla.te
index 344f2e479d7ca213b97c1ac5909498d9fef9e41f..a5a3dd98a8f0e6d8db11238d38b3d1bd442fa5d9 100644 (file)
--- a/policy/modules/apps/mozilla.te
+++ b/policy/modules/apps/mozilla.te
@@ -538,6 +538,7 @@ userdom_search_user_home_content(mozilla_plugin_config_t)
 userdom_read_user_home_content_symlinks(mozilla_plugin_config_t)
 userdom_read_user_home_content_files(mozilla_plugin_config_t)
 userdom_dontaudit_search_admin_dir(mozilla_plugin_config_t)
+userdom_use_inherited_user_ptys(mozilla_plugin_config_t)
 
 domtrans_pattern(mozilla_plugin_config_t, mozilla_plugin_exec_t, mozilla_plugin_t)