path: root/base/common/shared/conf/tomcat.conf
diff options
authorEndi Sukma Dewata <>2012-10-02 11:40:35 -0500
committerEndi Sukma Dewata <>2012-10-26 23:32:31 -0500
commit5eab7fedf1c78610b5e030b9e07e93f32633e9ad (patch)
treece99a025f5f4f7b15a594bbd84dbc90a5aed4fc9 /base/common/shared/conf/tomcat.conf
parent9c17ef40d7ee983e59ad009d960473611262ac40 (diff)
Enabled Tomcat security manager.
The tomcat.conf and the template deployment configuration have been modified to enable the security manager. The operations script has been modified to generate a new catalina.policy from the standard Tomcat policy, the standard PKI policy and the custom policy every time the instance is started. The current catalina.policy has been changed to store a header for the dynamically generated catalina.policy. A new pki.policy has been added to store the default PKI security policy. An empty custom.policy has been added to store policy customization. Ticket #223
Diffstat (limited to 'base/common/shared/conf/tomcat.conf')
1 files changed, 1 insertions, 1 deletions
diff --git a/base/common/shared/conf/tomcat.conf b/base/common/shared/conf/tomcat.conf
index 9c1a81bb7..54d67e4b4 100644
--- a/base/common/shared/conf/tomcat.conf
+++ b/base/common/shared/conf/tomcat.conf
@@ -39,7 +39,7 @@ TOMCAT_USER="[PKI_USER]"
# Run tomcat under the Java Security Manager
# Time to wait in seconds, before killing process