# HG changeset patch
# User michaelm
# Date 1320939045 0
# Node ID 456742d6364351cf36cf8510034f9a99b6902618
# Parent  13ee761ef120fa84d5884e0a6816b513b9182132
7110484: HttpServer.stop() not closing selector
Reviewed-by: chegar

diff -r 13ee761ef120 -r 456742d63643 jdk/src/share/classes/sun/net/httpserver/ServerImpl.java
--- a/jdk/src/share/classes/sun/net/httpserver/ServerImpl.java	Wed Nov 09 15:51:18 2011 +0800
+++ b/jdk/src/share/classes/sun/net/httpserver/ServerImpl.java	Thu Nov 10 15:30:45 2011 +0000
@@ -402,10 +402,10 @@
                 } catch (IOException e) {
                     logger.log (Level.FINER, "Dispatcher (4)", e);
                 } catch (Exception e) {
-                    e.printStackTrace();
                     logger.log (Level.FINER, "Dispatcher (7)", e);
                 }
             }
+            try {selector.close(); } catch (Exception e) {}
         }
 
         private void handleException (SelectionKey key, Exception e) {