From 9fc6c2be597f09c568389dfb147efe1e09af2f07 Mon Sep 17 00:00:00 2001 From: Artur Signell Date: Mon, 16 Mar 2015 16:55:56 +0200 Subject: Correct logging when a push connection can't find a session (#15220) Change-Id: I8b3cabc942600b3366f59697441d0613c9908a24 --- server/src/com/vaadin/server/communication/PushHandler.java | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'server') 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; } -- cgit v1.2.3