diff options
| author | Artur Signell <artur@vaadin.com> | 2013-09-09 14:38:21 +0300 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2013-09-10 13:14:03 +0000 |
| commit | e4d99b3631a70a9ca11c085b4de09b4daf400176 (patch) | |
| tree | c63bcb002cb0a99cdc55d95be43e1d00bc0c6ce6 /build | |
| parent | 0d79a84494b21a3b553d56245c4a1ee09fb022b4 (diff) | |
| download | vaadin-framework-e4d99b3631a70a9ca11c085b4de09b4daf400176.tar.gz vaadin-framework-e4d99b3631a70a9ca11c085b4de09b4daf400176.zip | |
Use non-obfuscated version of vaadinPush.js when not in production (#12527)
Change-Id: I8e0baec2391b140e6a72eedf6606fd2792c735bc
Diffstat (limited to 'build')
| -rwxr-xr-x | build/ide.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build/ide.xml b/build/ide.xml index 1d1049026d..2605bf2cdd 100755 --- a/build/ide.xml +++ b/build/ide.xml @@ -134,6 +134,7 @@ </target> <target name="vaadinPush.js"> <property name="vaadinPush.js.output" location="WebContent/VAADIN/vaadinPush.js" /> + <property name="vaadinPush.debug.js.output" location="WebContent/VAADIN/vaadinPush.debug.js" /> <loadfile srcfile="WebContent/VAADIN/jquery-1.7.2.js" property="jquery.js.contents" /> <loadfile srcfile="WebContent/VAADIN/jquery.atmosphere.js" property="jquery.atmosphere.js.contents" /> @@ -146,5 +147,7 @@ </filterchain> </loadfile> <echo file="${vaadinPush.js.output}">${vaadinPush.js.contents}</echo> + <!-- This vaadinPush.js is not obfuscated so the debug version is the same--> + <copy file="${vaadinPush.js.output}" tofile="${vaadinPush.debug.js.output}"/> </target> </project> |