diff options
author | 2017-04-29 20:17:21 +0200 | |
---|---|---|
committer | 2017-05-07 23:54:42 +0800 | |
commit | 7342da73bcae2a72c74f015e1cbf4e6064ff1eee (patch) | |
tree | 6d3b79aadd590def3b740e07085e555ef7d9eb7f | |
parent | evolution: minor fixes and updates (diff) | |
download | hardened-refpolicy-7342da73.tar.gz hardened-refpolicy-7342da73.tar.bz2 hardened-refpolicy-7342da73.zip |
java: error messages terminal printout
Minor fixes for the java module (print error messages to the terminal).
Signed-off-by: Guido Trentalancia <guido@trentalancia.net>
-rw-r--r-- | policy/modules/contrib/java.te | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/policy/modules/contrib/java.te b/policy/modules/contrib/java.te index c4aaa66b..96494b16 100644 --- a/policy/modules/contrib/java.te +++ b/policy/modules/contrib/java.te @@ -167,10 +167,12 @@ ifdef(`distro_gentoo',` corecmd_search_bin(java_t) +dev_read_sysfs(java_t) + locallogin_use_fds(java_t) userdom_read_user_tmp_files(java_t) -userdom_use_user_ttys(java_t) +userdom_use_user_terminals(java_t) optional_policy(` xserver_user_x_domain_template(java, java_t, java_tmpfs_t) |