From 1dfdf1a4d701c370127739a15d98dfa2e63432b0 Mon Sep 17 00:00:00 2001
From: Artur Signell <artur@vaadin.com>
Date: Tue, 23 Jun 2015 23:10:07 +0300
Subject: [PATCH] Provide compressed vaadinBootstrap.js (#18329)

Change-Id: Ibc8efdf8d9d5ace8f6db7b19e54978b35458a79f
---
 server/build.xml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/server/build.xml b/server/build.xml
index e88b53d937..4bb2bde730 100644
--- 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"
-- 
2.39.5