]> matita.cs.unibo.it Git - helm.git/blob - helm/scripts/start-tomcat
- the mathql interpreter is not helm-dependent any more
[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...