pki.git/base/tps/shared/conf/workers.properties, branch master

Rename pki-tps-tomcat to pki-tps

2014-09-04T04:07:07+00:00

* PKI TRAC Ticket #1017 - Rename pki-tps-tomcat to pki-tps

Moved Tomcat-based TPS to separate folder.

2013-08-15T16:26:12+00:00

The source files for the new Tomcat-based TPS has been moved from base/tps
to base/tps-tomcat. The new TPS will now be build in pki-core and packaged
in pki-tps-tomcat RPM. The old TPS and RA have been restored to the previous
state before adding the new TPS. Once the new TPS is complete, the old TPS
can be removed, the new TPS can be moved back to base/tps and the package
can be renamed back to pki-tps.

Ticket #702

Added Tomcat-based TPS instance.

2013-06-10T17:35:22+00:00

The build and deployment tools have been modified to support creating
a basic Tomcat instance to run TPS. New configuration and template
files for TPS have been copied from another Tomcat subsystem. The TPS
functionality itself will be added in future patches.

Ticket #526