X-Git-Url: https://git.argeo.org/?p=lgpl%2Fargeo-commons.git;a=blobdiff_plain;f=org.argeo.cms.ee%2Fsrc%2Forg%2Fargeo%2Fcms%2Fwebsocket%2Fserver%2FPingEndpoint.java;h=5ae491acfe15227b4337afe66f0a883c021582ea;hp=b81cc591d0ac3f924b98d9c7e4c0e3463ff477dd;hb=8b33fad79c187e5419948a0f49ec89f52562f9c8;hpb=2ddf8219c721df80456d99848cc25ce69238297d

diff --git a/org.argeo.cms.ee/src/org/argeo/cms/websocket/server/PingEndpoint.java b/org.argeo.cms.ee/src/org/argeo/cms/websocket/server/PingEndpoint.java
index b81cc591d..5ae491acf 100644
--- a/org.argeo.cms.ee/src/org/argeo/cms/websocket/server/PingEndpoint.java
+++ b/org.argeo.cms.ee/src/org/argeo/cms/websocket/server/PingEndpoint.java
@@ -1,5 +1,7 @@
 package org.argeo.cms.websocket.server;
 
+import java.nio.channels.ClosedChannelException;
+
 import javax.websocket.OnError;
 import javax.websocket.server.ServerEndpoint;
 
@@ -11,6 +13,10 @@ public class PingEndpoint {
 
 	@OnError
 	public void onError(Throwable e) {
+		if (e instanceof ClosedChannelException) {
+			// ignore, as it probably means ping was closed on the other side
+			return;
+		}
 		log.error("Cannot process ping", e);
 	}
 }