From 2d0e6026324b5e73b3601841563933e91a03307a Mon Sep 17 00:00:00 2001
From: Chris Burgess <post@chrisburgess.me.uk>
Date: Sun, 24 Aug 2014 14:04:20 +0100
Subject: [PATCH] Close WebSocketServer's selector to free socket

close the selector when the WebSocketServer's selectorthread is
finishing. This allows the port to be freed on stop() and another
instance to bind on the same port
---
 .../java/org/java_websocket/server/WebSocketServer.java    | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/main/java/org/java_websocket/server/WebSocketServer.java b/src/main/java/org/java_websocket/server/WebSocketServer.java
index a45f7e133..4444ca611 100644
--- a/src/main/java/org/java_websocket/server/WebSocketServer.java
+++ b/src/main/java/org/java_websocket/server/WebSocketServer.java
@@ -396,6 +396,13 @@ public void run() {
 					w.interrupt();
 				}
 			}
+			if( selector != null ) {
+				try {
+					selector.close();
+				} catch ( IOException e ) {
+					onError( null, e );
+				}
+			}
 			if( server != null ) {
 				try {
 					server.close();