]> matita.cs.unibo.it Git - helm.git/commitdiff
No more in use.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 14:31:29 +0000 (14:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 14:31:29 +0000 (14:31 +0000)
helm/scripts/start-tomcat [deleted file]
helm/scripts/start-tomcat-debug [deleted file]
helm/scripts/stop-tomcat-debug [deleted file]

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...
diff --git a/helm/scripts/start-tomcat-debug b/helm/scripts/start-tomcat-debug
deleted file mode 100755 (executable)
index bae236b..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/sh
-$HELMROOT/shared/libraries/tomcat/bin/startup.sh
diff --git a/helm/scripts/stop-tomcat-debug b/helm/scripts/stop-tomcat-debug
deleted file mode 100755 (executable)
index 89f4e5d..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-#! /bin/sh
-exec $HELMROOT/shared/libraries/tomcat/bin/shutdown.sh