]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/start-tomcat
Initial revision
[helm.git] / helm / scripts / start-tomcat
diff --git a/helm/scripts/start-tomcat b/helm/scripts/start-tomcat
new file mode 100755 (executable)
index 0000000..ac9912e
--- /dev/null
@@ -0,0 +1,8 @@
+#!/bin/sh
+trap stop-tomcat-debug EXIT
+start-tomcat-debug >/dev/null
+echo TOMCAT is on its way, wait a few seconds before using it.
+echo Press enter to kill TOMCAT.
+echo
+read
+echo Shutting down...