From: Marko Grönroos Date: Wed, 31 Dec 2008 14:52:39 +0000 (+0000) Subject: Fixes #2367. Server-side compilation now uses an unpacked version of GWT from which... X-Git-Tag: 6.7.0.beta1~3427 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=b70414b0e82efaa54bfb25162d1fdc802dd5f539;p=vaadin-framework.git Fixes #2367. Server-side compilation now uses an unpacked version of GWT from which Servlet 2.4 classes have been removed, thereby genuinely using the Java Servlet API 2.3 provided in build/lib/servlet.jar. svn changeset:6385/svn branch:trunk --- diff --git a/build/build.xml b/build/build.xml index cea97f8f8c..ec3ec27933 100644 --- a/build/build.xml +++ b/build/build.xml @@ -111,8 +111,10 @@ - + + + @@ -121,27 +123,29 @@ Java version is ${ant.java.version} as required. - - + + - + Java Servlet API is available. - - + + Java Servlet API specification 2.3 used. - + + Toolkit package is: ${toolkit-package} + @@ -175,8 +179,7 @@ - - + @@ -185,7 +188,15 @@ - + + + + + + + + + @@ -641,11 +652,21 @@ - + + + + + + + + + Compiling src (server-side) - + + + @@ -892,7 +913,7 @@ Documentation: Add Javadoc to doc - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - --> - +