Do not scan for WebSocketProtocol (#17807)

Change-Id: Ie8e4c827174542a3e7908f20a1cc2d90fab08917

diff --git a/server/src/com/vaadin/server/communication/PushRequestHandler.java b/server/src/com/vaadin/server/communication/PushRequestHandler.java
index 9e25f1d8ffcd3cfc037f618d62072ddac0700e7d..c01c74e5cd42fe47403391008442b7dcb9be9e02 100644 (file)
--- a/server/src/com/vaadin/server/communication/PushRequestHandler.java
+++ b/server/src/com/vaadin/server/communication/PushRequestHandler.java
@@ -145,7 +145,7 @@ public class PushRequestHandler implements RequestHandler,
      */
     static AtmosphereFramework initAtmosphere(
             final ServletConfig vaadinServletConfig) {
-        AtmosphereFramework atmosphere = new AtmosphereFramework() {
+        AtmosphereFramework atmosphere = new AtmosphereFramework(false, false) {
             @Override
             protected void analytics() {
                 // Overridden to disable version number check