[Pki-devel] [PATCH] 885 Added startup CLI for generic Tomcat.
New pki-server commands have been added to provide a consistent
way to start, stop, and restart PKI instances using different
types of Tomcat installations.
https://fedorahosted.org/pki/ticket/2560
--
Endi S. Dewata
Attachments:
- pki-edewata-0885-Added-startup-CLI-for-generic-Tomcat.patch (text/x-patch — 8.0 KB)