1 files 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;
         }