[ale] Tomcat startup script

[Joseph A Knapka]

Joseph A Knapka wrote (in Homer mode):
 
> No. Again, the tomcat process (whatever it is, I've never heard
> of it before) will create the file if it doesn't exist, and
> should delete it when it exists. If the lock file *does* exist

Should have been "delete it when it EXITS".

> when the server starts, it shold refuse to run, since the
> existence of the lockfile indicates that another instance
> of the server is already running.

-- 
"I should like to close this book by sticking out any part of my neck
 which is not yet exposed, and making a few predictions about how the
 problem of quantum gravity will in the end be solved."
 --- Physicist Lee Smolin, "Three Roads to Quantum Gravity"

---
This message has been sent through the ALE general discussion list.
See http://www.ale.org/mailing-lists.shtml for more info. Problems should be 
sent to listmaster at ale dot org.