From 78420eb0dde4b066f5233f602782d5f95e183a1f Mon Sep 17 00:00:00 2001 From: Artur Signell Date: Mon, 16 Mar 2015 16:55:56 +0200 Subject: [PATCH] Correct logging when a push connection can't find a session (#15220) Change-Id: I8b3cabc942600b3366f59697441d0613c9908a24 --- .../src/com/vaadin/server/communication/PushHandler.java | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/server/src/com/vaadin/server/communication/PushHandler.java b/server/src/com/vaadin/server/communication/PushHandler.java index c570d22086..f3fb16461f 100644 --- a/server/src/com/vaadin/server/communication/PushHandler.java +++ b/server/src/com/vaadin/server/communication/PushHandler.java @@ -356,9 +356,13 @@ public class PushHandler extends AtmosphereResourceEventListenerAdapter { "Could not get session. This should never happen", e); return; } catch (SessionExpiredException e) { + // This happens at least if the server is restarted without + // preserving the session. After restart the client reconnects, gets + // a session expired notification and then closes the connection and + // ends up here getLogger() - .log(Level.SEVERE, - "Session expired before push was disconnected. This should never happen", + .log(Level.FINER, + "Session expired before push disconnect event was received", e); return; } -- 2.39.5