[Pki-devel] [PATCH 0005-0008] Misc. fixes for pki-server commands