diff options
Diffstat (limited to 'base/java-tools/bin/pki')
| -rw-r--r-- | base/java-tools/bin/pki | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/base/java-tools/bin/pki b/base/java-tools/bin/pki index 64438b58a..a9f9e5c1e 100644 --- a/base/java-tools/bin/pki +++ b/base/java-tools/bin/pki @@ -110,7 +110,8 @@ def run_java_cli(args): command.extend(args) - subprocess.call(command) + rv = subprocess.call(command) + exit(rv) def run_python_cli(args): |