aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuido Trentalancia <guido@trentalancia.net>2017-04-29 20:17:21 +0200
committerJason Zaman <jason@perfinion.com>2017-05-07 23:54:42 +0800
commit7342da73bcae2a72c74f015e1cbf4e6064ff1eee (patch)
tree6d3b79aadd590def3b740e07085e555ef7d9eb7f
parentevolution: minor fixes and updates (diff)
downloadhardened-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.te4
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)