From cdcdc115b79f0773c2d140e43f58cfe9cb4b1cdb Mon Sep 17 00:00:00 2001 From: Artur Signell Date: Wed, 17 Apr 2013 19:16:59 +0300 Subject: Build a minified version of vaadinPush.js in vaadin-push.jar (#11630) * Replaced jquery and jquery.atmosphere.js with original, unmodified versions * Added vaadinPush.js build target to ide.xml and push/build.xml * Uses yuicompressor to compress the resulting push javascript Change-Id: I59ba9c2bbf74e05d10325d38efdb106b638cd8e7 --- push/build.xml | 41 ++++++++++++++++++++++++++++++++++------- 1 file changed, 34 insertions(+), 7 deletions(-) (limited to 'push') diff --git a/push/build.xml b/push/build.xml index 3e0d5805b9..81feec3188 100644 --- a/push/build.xml +++ b/push/build.xml @@ -1,6 +1,6 @@ - + Meta package which defines dependencies needed for push @@ -10,16 +10,43 @@ + - + - - - + + - - + + + + + + + + + + + + + + + + + ${vaadinPush.js.contents} + + + + + + + + + + + + -- cgit v1.2.3