diff options
| author | Endi S. Dewata <edewata@redhat.com> | 2015-06-17 15:12:18 -0400 |
|---|---|---|
| committer | Endi S. Dewata <edewata@redhat.com> | 2015-06-18 18:06:16 -0400 |
| commit | 3c75fd731140e470467206e7cf331bf174da1f5b (patch) | |
| tree | 5815ab10913d02533436a39454617375d44f4fd4 /base/server/tomcat7 | |
| parent | 8cd43950a25b819c07c9d913da794068db58e18a (diff) | |
| download | pki-3c75fd731140e470467206e7cf331bf174da1f5b.tar.gz pki-3c75fd731140e470467206e7cf331bf174da1f5b.tar.xz pki-3c75fd731140e470467206e7cf331bf174da1f5b.zip | |
Fixed pkidaemon to show TPS status.
The operations script and the server.xml templates have been
modified to display TPS status in pkidaemon.
https://fedorahosted.org/pki/ticket/1278
Diffstat (limited to 'base/server/tomcat7')
| -rw-r--r-- | base/server/tomcat7/conf/server.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/base/server/tomcat7/conf/server.xml b/base/server/tomcat7/conf/server.xml index e6c4bd201..81ed5c4e3 100644 --- a/base/server/tomcat7/conf/server.xml +++ b/base/server/tomcat7/conf/server.xml @@ -63,6 +63,12 @@ Secure Admin URL = https://[PKI_HOSTNAME]:[PKI_ADMIN_SECURE_PORT]/tks/service PKI Console Command = pkiconsole https://[PKI_HOSTNAME]:[PKI_ADMIN_SECURE_PORT]/tks Tomcat Port = [TOMCAT_SERVER_PORT] (for shutdown) --> +<!-- TPS Status Definitions --> +<!-- +Unsecure URL = http://[PKI_HOSTNAME]:[PKI_UNSECURE_PORT]/tps +Secure URL = https://[PKI_HOSTNAME]:[PKI_SECURE_PORT]/tps +Tomcat Port = [TOMCAT_SERVER_PORT] (for shutdown) +--> <!-- DO NOT REMOVE - End PKI Status Definitions --> <Server port="[TOMCAT_SERVER_PORT]" shutdown="SHUTDOWN"> |