[Pki-devel] [PATCH] Fix unknown TKS host and port error during TPS removal

Please review the attached patch which addresses the following ticket: * PKI TRAC #1677 - Pkidestroy of a TPS instance installed in a shared tomcat throws error. <https://fedorahosted.org/pki/ticket/1677> Without the patch: # pkidestroy Subsystem (CA/KRA/OCSP/TKS/TPS) [CA]: TPS Instance [pki-tomcat]: Begin uninstallation (Yes/No/Quit)? Yes Log file: /var/log/pki/pki-tps-destroy.20160601102651.log Loading deployment configuration from /var/lib/pki/pki-tomcat/tps/registry/tps/deployment.cfg. Uninstalling TPS from /var/lib/pki/pki-tomcat. pkidestroy : WARNING ....... Failed to update TPS connector on TKS pkidestroy : ERROR ....... TKS Host or Port is undefined Uninstallation complete. With the patch: # pkidestroy Subsystem (CA/KRA/OCSP/TKS/TPS) [CA]: TPS Instance [pki-tomcat]: Begin uninstallation (Yes/No/Quit)? Yes Log file: /var/log/pki/pki-tps-destroy.20160601110057.log Loading deployment configuration from /var/lib/pki/pki-tomcat/tps/registry/tps/deployment.cfg. Uninstalling TPS from /var/lib/pki/pki-tomcat. Uninstallation complete.