I have added check and graceful abort. But I really you should use a shell alias if you really need to restart tomcat5.5 so much. I cant see a reason why this should be needed (with hot deployment) but I dont know your usecase.
You are true I should use an alias. My use case is the port of an application from windows to linux and I had many modifications to do to the policy, so I had to restart tomcat very often, now it's finished. Also several librairies don't support hot deployment.
Thanks for your answer, Mickaël -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
