diff options
Diffstat (limited to 'base/java-tools')
| -rwxr-xr-x | base/java-tools/pki | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/base/java-tools/pki b/base/java-tools/pki index 07194c9ed..3555d3f37 100755 --- a/base/java-tools/pki +++ b/base/java-tools/pki @@ -111,4 +111,8 @@ foreach (@ARGV) { push(@args, quotemeta($_)); } -system("java -cp $ENV{CLASSPATH} com.netscape.cmstools.cli.MainCLI @args"); +my $command = "java -cp $ENV{CLASSPATH} com.netscape.cmstools.cli.MainCLI @args"; + +system($command) and do { + exit $? >> 8; +} |
