https://issues.apache.org/bugzilla/show_bug.cgi?id=50084

--- Comment #2 from r...@symentis.com 2010-10-13 08:48:16 EDT ---
In my opinion, thats not necessary.

I will add a patch to this ticket with my workaround to the problem.
Basically, when an empty pid file exists, its' just filled by catalina.sh

-- 
Configure bugmail: https://issues.apache.org/bugzilla/userprefs.cgi?tab=email
------- 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

Reply via email to