Provide compressed vaadinBootstrap.js (#18329)

Change-Id: Id7c3d9e0d8095fbc537a2617fd2dd410b99fce50

diff --git a/server/build.xml b/server/build.xml
index e88b53d937f5b1a355589c27794e8145974062c3..4bb2bde7306244f7ebdf937f703c0ed6a28a683e 100644 (file)
--- a/server/build.xml
+++ b/server/build.xml
@@ -22,9 +22,17 @@
         <fileset dir="${vaadin.basedir}/WebContent">
             <include name="VAADIN/vaadinBootstrap.js" />
         </fileset>
+        <fileset dir="${result.dir}">
+            <include name="VAADIN/*" />
+        </fileset>
     </union>
 
-    <target name="jar">
+    <target name="compress-files">
+        <mkdir dir="${result.dir}/VAADIN" />
+        <gzip src="${vaadin.basedir}/WebContent/VAADIN/vaadinBootstrap.js"
+            destfile="${result.dir}/VAADIN/vaadinBootstrap.js.gz" />
+    </target>
+    <target name="jar" depends="compress-files">
         <property name="server.osgi.import"
             value="javax.servlet;version=&quot;2.4.0&quot;,javax.servlet.http;version=&quot;2.4.0&quot;,javax.validation;version=&quot;1.0.0.GA&quot;;resolution:=optional,org.jsoup;version=&quot;1.6.3&quot;,org.jsoup.parser;version=&quot;1.6.3&quot;,org.jsoup.nodes;version=&quot;1.6.3&quot;,org.jsoup.helper;version=&quot;1.6.3&quot;,org.jsoup.safety;version=&quot;1.6.3&quot;,org.jsoup.select;version=&quot;1.6.3&quot;" />
         <property name="server.osgi.require"