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

Michael Koch konqueror at gmx.de
Wed Aug 1 21:12:01 UTC 2007


On Wed, Aug 01, 2007 at 07:01:41PM +0200, Marcus Better wrote:
> David Pashley wrote:
> > 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.
> 
> I tend to agree. And I think the current behaviour is correct - if the 
> TOMCAT5_USER variable is empty, the init script must provide a default.
> 
> (Setting TOMCAT5_USER to an empty value seems illogical to me.)

The documentation is wrong for sure. I just think its some kind of
common practice. Many other daemons do this in /etc/default too.

I'm fine with just fixing the documentation and telling users to use
update-rc.d to disable tomcat5.5 from startup.


Cheers,
Michael




More information about the pkg-java-maintainers mailing list