tomcat-clone-stop.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/tomcat-clone-stop.sh

blob: 26b153543f5033be1794eeff3ffb03f6e611eb1c (plain)

#!/bin/sh -x

INSTANCE_NAME=pki-clone

systemctl stop pki-tomcatd@$INSTANCE_NAME.service