From 6a7683bedbdc745a6296a44a0328d61172181442 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Leif=20=C3=85strand?= <leif@vaadin.com>
Date: Tue, 21 May 2013 15:57:33 +0300
Subject: [PATCH] Disable Atmosphere version number check (#11890)

Change-Id: I8f04cc0ddc034ce7cb43cc7f6646ddffcba64a4b
---
 .../vaadin/server/communication/PushRequestHandler.java    | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/server/src/com/vaadin/server/communication/PushRequestHandler.java b/server/src/com/vaadin/server/communication/PushRequestHandler.java
index e75798a980..8d0da24896 100644
--- a/server/src/com/vaadin/server/communication/PushRequestHandler.java
+++ b/server/src/com/vaadin/server/communication/PushRequestHandler.java
@@ -56,7 +56,12 @@ public class PushRequestHandler implements RequestHandler,
     public PushRequestHandler(VaadinServletService service)
             throws ServiceException {
 
-        atmosphere = new AtmosphereFramework();
+        atmosphere = new AtmosphereFramework() {
+            @Override
+            protected void analytics() {
+                // Overridden to disable version number check
+            }
+        };
 
         pushHandler = new PushHandler(service);
         atmosphere.addAtmosphereHandler("/*", pushHandler);
-- 
2.39.5