[Pki-devel] [PATCH] 924 Fixed Ctrl-C handling in PKI CLI.