diff options
| -rw-r--r-- | server/src/com/vaadin/server/communication/PushHandler.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/src/com/vaadin/server/communication/PushHandler.java b/server/src/com/vaadin/server/communication/PushHandler.java index e740db410d..37adc1a108 100644 --- a/server/src/com/vaadin/server/communication/PushHandler.java +++ b/server/src/com/vaadin/server/communication/PushHandler.java @@ -331,9 +331,9 @@ public class PushHandler implements AtmosphereHandler { writer.write(event.getMessage().toString()); switch (resource.transport()) { - case SSE: case WEBSOCKET: break; + case SSE: case STREAMING: writer.flush(); break; |