]> matita.cs.unibo.it Git - helm.git/blob - helm/scripts/start-tomcat
ac9912ee3c488d891070f8ac570279098a95ab24
[helm.git] / helm / scripts / start-tomcat
1 #!/bin/sh
2 trap stop-tomcat-debug EXIT
3 start-tomcat-debug >/dev/null
4 echo TOMCAT is on its way, wait a few seconds before using it.
5 echo Press enter to kill TOMCAT.
6 echo
7 read
8 echo Shutting down...