https://bz.apache.org/bugzilla/show_bug.cgi?id=65970
Mark Thomas <ma...@apache.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |enhancement
--- Comment #4 from Mark Thomas <ma...@apache.org> ---
Moving this to an enhancement request.
As Konstantin pointed out, the pid file should be in "/run" (or "/var/run") and
then it won't be present after a reboot (if it is then that would be an OS
issue to take up with your OS vendor).
I am not in favour of adding a whole lot of plumbing to the Tomcat scripts to
handle a non-standard use case. Users that want to do that can put that
plumbing in setenv.sh.
I agree with Konstantin that we should review the docs to make sure that the
correct usage is recommended and also that WONTFIX is the most likely
resolution for this issue.
--
You are receiving this mail because:
You are the assignee for the bug.
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org
