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

Michael Koch konqueror at gmx.de
Thu Aug 2 21:14:09 UTC 2007


tag 425020 pending
thanks

On Wed, Aug 01, 2007 at 11:12:01PM +0200, Michael Koch wrote:
> 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.

I commited now a change to SVN to make the description of the
TOMCAT55_USER variable in /etc/default/tomcat5.5 more clear.

I tag this bug as pending.


Cheers,
Michael




More information about the pkg-java-maintainers mailing list