https://issues.apache.org/bugzilla/show_bug.cgi?id=51310
Mark Thomas <ma...@apache.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
OS/Version| |All
--- Comment #1 from Mark Thomas <ma...@apache.org> 2011-06-02 13:26:52 UTC ---
It actually doesn't matter since the JVM is shutting down. However, the right
thing to do is to call Server.destroy() after calling Server.stop() so I have
made the necessary change to 7.0.x and it will be included in 7.0.15 onwards.
--
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
