Bug#425020: tomcat5.5: Does not honor empty TOMCAT5_USER

[David Pashley]

I still think the documentation is wrong and that if you want to disable
tomcat at boot then you should disable it in your rc.d system. Seems
pointless is implementing yet another scheme for disabling tomcat.

Changing rc.d also has the advantage that you can just start it manually
without having to edit a file, start, reedit the file again.

-- 
David Pashley
david at davidpashley.com
Nihil curo de ista tua stulta superstitione.