https://issues.apache.org/bugzilla/show_bug.cgi?id=51310
Mark Thomas <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED OS/Version| |All --- Comment #1 from Mark Thomas <[email protected]> 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: [email protected] For additional commands, e-mail: [email protected]
