[Pki-devel] [PATCH] 885 Added startup CLI for generic Tomcat.

[Endi Sukma Dewata]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pki-edewata-0885-Added-startup-CLI-for-generic-Tomcat.patch
Type: text/x-patch
Size: 8145 bytes
Desc: not available
URL: <http://listman.redhat.com/archives/pki-devel/attachments/20161218/46d8e750/attachment.bin>