From: Artur Signell <artur@vaadin.com>
Date: Fri, 22 May 2015 19:09:26 +0000 (+0300)
Subject: Do not scan for WebSocketProtocol (#17807)
X-Git-Tag: 7.5.0.beta2~17
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=67bc52308036d72e96189e398b6cf2752a337b84;p=vaadin-framework.git

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 9e25f1d8ff..c01c74e5cd 100644
--- 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