applied fix submitted by @DeHecht ( TooTallNate#191 )

Davidiusdadi · Davidiusdadi · commit 158b9bc8ff05 · 2013-08-05T22:21:08.000+02:00
diff --git a/src/main/java/org/java_websocket/server/WebSocketServer.java b/src/main/java/org/java_websocket/server/WebSocketServer.java
@@ -8,6 +8,7 @@
 import java.nio.ByteBuffer;
 import java.nio.channels.ByteChannel;
 import java.nio.channels.CancelledKeyException;
+import java.nio.channels.ClosedByInterruptException;
 import java.nio.channels.SelectableChannel;
 import java.nio.channels.SelectionKey;
 import java.nio.channels.Selector;
@@ -368,6 +369,8 @@ public void run(){
 					}
 				} catch ( CancelledKeyException e ){
 					// an other thread may cancel the key
+				} catch ( ClosedByInterruptException e ){
+					return; // do the same stuff as when InterruptedException is thrown
 				} catch ( IOException ex ){
 					if( key != null )
 						key.cancel();

-Original file line number
+Diff line change
 importjava.nio.ByteBuffer;
 importjava.nio.channels.ByteChannel;
 importjava.nio.channels.CancelledKeyException;
 +importjava.nio.channels.ClosedByInterruptException;
 importjava.nio.channels.SelectableChannel;
 importjava.nio.channels.SelectionKey;
 importjava.nio.channels.Selector;
+ }
  } catch ( CancelledKeyExceptione ){
 // an other thread may cancel the key
 + } catch ( ClosedByInterruptExceptione ){
 +return; // do the same stuff as when InterruptedException is thrown
  } catch ( IOExceptionex ){
 if( key != null )
 key.cancel();