diff options
Diffstat (limited to 'push')
| -rw-r--r-- | push/build.xml | 2 | ||||
| -rw-r--r-- | push/ivy.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/push/build.xml b/push/build.xml index dee5820efb..fb80cc7cbf 100644 --- a/push/build.xml +++ b/push/build.xml @@ -16,7 +16,7 @@ <property name="vaadinPush.debug.js" 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.1.2.vaadin3" /> + <property name="atmosphere.runtime.version" value="2.1.2.vaadin4" /> <property name="jquery.js" location="lib/jquery/jquery-1.11.0.js" /> <path id="classpath.compile.custom" /> diff --git a/push/ivy.xml b/push/ivy.xml index d3b4944353..b6bd1b06f7 100644 --- a/push/ivy.xml +++ b/push/ivy.xml @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE ivy-module [ <!-- Keep the version number in sync with build.xml --> - <!ENTITY atmosphere.runtime.version "2.1.2.vaadin3"> + <!ENTITY atmosphere.runtime.version "2.1.2.vaadin4"> <!ENTITY atmosphere.js.version "2.1.5.vaadin4"> ]> |