diff options
| author | Endi S. Dewata <edewata@redhat.com> | 2017-01-30 22:33:47 +0100 |
|---|---|---|
| committer | Endi S. Dewata <edewata@redhat.com> | 2017-01-30 23:52:12 +0100 |
| commit | 17df5982a5e312eb3400237655740efe7c2f74e1 (patch) | |
| tree | 13ea782630bcaa3674dc281a3c11f50f3d41aa4b /base/java-tools/bin/pki | |
| parent | cfa678d2e41d46a0d108a8a8c05938fa0d024f4f (diff) | |
| download | pki-17df5982a5e312eb3400237655740efe7c2f74e1.tar.gz pki-17df5982a5e312eb3400237655740efe7c2f74e1.tar.xz pki-17df5982a5e312eb3400237655740efe7c2f74e1.zip | |
Fixed Ctrl-C handling in PKI CLI.
The PKI CLI has been modified to catch KeyboardInterrupt and exit
cleanly without displaying the stack trace.
Diffstat (limited to 'base/java-tools/bin/pki')
| -rw-r--r-- | base/java-tools/bin/pki | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/base/java-tools/bin/pki b/base/java-tools/bin/pki index ba321be96..53e1b893a 100644 --- a/base/java-tools/bin/pki +++ b/base/java-tools/bin/pki @@ -230,3 +230,7 @@ if __name__ == '__main__': elif cli.debug: traceback.print_exc() sys.exit(e.returncode) + + except KeyboardInterrupt: + print() + sys.exit(-1) |