]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/start-tomcat
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / scripts / start-tomcat
diff --git a/helm/scripts/start-tomcat b/helm/scripts/start-tomcat
deleted file mode 100755 (executable)
index ac9912e..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/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...