From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 19 Jan 2004 14:31:29 +0000 (+0000)
Subject: No more in use.
X-Git-Tag: V_0_5_1_3~21
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=74def16e00f2e87779c4002351437515271cc3ee;p=helm.git

No more in use.
---

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