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

blob: 0b7d4a44fe5122cea50aa7f6c813a883a619e865 (plain)

#!/bin/sh -x

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