Bug#457956: /etc/init.d/tomcat5.5 doesn't check user right to start or stop tomcat and hangs

[Vera Mickael]

> 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