diff options
author | Endi Sukma Dewata <edewata@redhat.com> | 2013-05-05 14:48:47 -0400 |
---|---|---|
committer | Endi Sukma Dewata <edewata@redhat.com> | 2013-05-05 14:48:47 -0400 |
commit | dbd722371a29009a392f8851c8979f8481272938 (patch) | |
tree | 2c759bb576c911f2c4837344f8c05e6275565c41 /scripts/ocsp-merged-remove.sh | |
parent | 95686c6b471f8179ba243ba4bd0c13ff820355f4 (diff) | |
download | pki-dev-dbd722371a29009a392f8851c8979f8481272938.tar.gz pki-dev-dbd722371a29009a392f8851c8979f8481272938.tar.xz pki-dev-dbd722371a29009a392f8851c8979f8481272938.zip |
Updated deployment scripts.
Diffstat (limited to 'scripts/ocsp-merged-remove.sh')
-rwxr-xr-x | scripts/ocsp-merged-remove.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/ocsp-merged-remove.sh b/scripts/ocsp-merged-remove.sh new file mode 100755 index 0000000..dada49d --- /dev/null +++ b/scripts/ocsp-merged-remove.sh @@ -0,0 +1,6 @@ +#!/bin/sh -x + +SRC_DIR=`cd ../.. ; pwd` +INSTANCE_NAME=pki-tomcat + +pkidestroy -v -s OCSP -i $INSTANCE_NAME |