From: Artur Signell <artur@vaadin.com>
Date: Wed, 24 Jun 2015 20:43:31 +0000 (+0300)
Subject: Provide compressed vaadinPush.js (#18329)
X-Git-Tag: 7.6.0.alpha2~3^2~9
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=965faaf93b834d4d7e78edc70cf4c8cb63ad496e;p=vaadin-framework.git

Provide compressed vaadinPush.js (#18329)

Change-Id: I81328655f64e78a02bb6d05017374d2d43049111
---

diff --git a/push/build.xml b/push/build.xml
index 9a45b86cfe..958bd5bf8f 100644
--- a/push/build.xml
+++ b/push/build.xml
@@ -26,7 +26,9 @@
     <union id="jar.includes">
         <fileset dir="${result.dir}/js">
             <include name="VAADIN/vaadinPush.js" />
+            <include name="VAADIN/vaadinPush.js.gz" />
             <include name="VAADIN/vaadinPush.debug.js" />
+            <include name="VAADIN/vaadinPush.debug.js.gz" />
         </fileset>
     </union>
 
@@ -77,6 +79,10 @@
             <arg file="${vaadinPush.js}" />
             <arg file="${vaadinPush.debug.js}" />
         </java>
+        
+        <!-- Gzipped versions -->
+        <gzip src="${vaadinPush.js}" destfile="${vaadinPush.js}.gz" />
+        <gzip src="${vaadinPush.debug.js}" destfile="${vaadinPush.debug.js}.gz" />
     </target>
 
     <target name="jar" depends="vaadinPush.js">