Change-Id: I8f04cc0ddc034ce7cb43cc7f6646ddffcba64a4btags/7.1.0
@@ -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); |