From 735f0748344d7ee594c4e52a715d867dfdb23cb1 Mon Sep 17 00:00:00 2001
From: Tapio Aali <tapio@vaadin.com>
Date: Mon, 9 Feb 2015 15:37:41 +0200
Subject: Make push path configurable (#14432).

In order to use websockets with Weblogic 12.1.2 or later, push path 'ws'
needs to be used instead of 'PUSH'.

Change-Id: Ia90d11c20a375cef9cf4a53986a70d616a83db06
---
 push/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'push/build.xml')

diff --git a/push/build.xml b/push/build.xml
index 9afe76620c..4e180fa03d 100644
--- a/push/build.xml
+++ b/push/build.xml
@@ -18,7 +18,7 @@
         location="${result.dir}/js/VAADIN/vaadinPush.debug.js" />
 
     <!-- Keep the version number in sync with ivy.xml, server/src/com/vaadin/server/Constants.java -->
-    <property name="atmosphere.runtime.version" value="2.2.4.vaadin2" />
+    <property name="atmosphere.runtime.version" value="2.2.4.vaadin3" />
     <property name="jquery.js" location="lib/jquery/jquery-1.11.0.js" />
 
     <path id="classpath.compile.custom" />
-- 
cgit v1.2.3