close selector to relese socket

farin · farin · commit bdfeb347be31 · 2014-08-27T16:39:06.000+02:00
(without it it now works property at least in java7u67 (but works on
older some older version and eg open jdk)
diff --git a/src/main/java/org/java_websocket/server/WebSocketServer.java b/src/main/java/org/java_websocket/server/WebSocketServer.java
@@ -283,6 +283,7 @@ public void run() {
 			server.configureBlocking( false );
 			ServerSocket socket = server.socket();
 			socket.setReceiveBufferSize( WebSocketImpl.RCVBUF );
+			socket.setReuseAddress(true);
 			socket.bind( address );
 			selector = Selector.open();
 			server.register( selector, server.validOps() );
@@ -396,6 +397,13 @@ public void run() {
 					w.interrupt();
 				}
 			}
+			if (selector != null) {
+				try {
+					selector.close();
+				} catch (IOException e) {
+					onError( null, e);
+				}
+			}
 			if( server != null ) {
 				try {
 					server.close();
