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

blob: f6a6c39af97c7173c4f72edd90e7941c0242990f (plain)

#!/bin/sh -x

./tomcat-clone-stop.sh
./tomcat-clone-start.sh