tks-merged-remove.sh « scripts - pki-dev.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/scripts/tks-merged-remove.sh

blob: 5718dfa73bc13894c1c2a332f934b877b5887e6e (plain)

#!/bin/sh -x

SRC_DIR=`cd ../.. ; pwd`
INSTANCE_NAME=pki-tomcat

pkidestroy -v -s TKS -i $INSTANCE_NAME