diff options
| author | Artur Signell <artur@vaadin.com> | 2011-10-31 12:41:54 +0200 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2011-10-31 12:41:54 +0200 |
| commit | c0465fd0431d78d8bd97a7431e083f343da7b4b0 (patch) | |
| tree | 0f81df7f285e9960ee12690f39886ffb33f48579 /build | |
| parent | 3ac16b4495be933769d7ac87c85368b49ed2c182 (diff) | |
| download | vaadin-framework-c0465fd0431d78d8bd97a7431e083f343da7b4b0.tar.gz vaadin-framework-c0465fd0431d78d8bd97a7431e083f343da7b4b0.zip | |
Removed Servlet 2.3 API check. No Servlet 2.5 API jar is included in the project so we should be fine without this check.
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/build/build.xml b/build/build.xml index b5b19c50e8..b7a4c73382 100644 --- a/build/build.xml +++ b/build/build.xml @@ -70,18 +70,6 @@ <echo>Java version is ${ant.java.version} as required.</echo> </target> - <!-- Check Servlet API version. --> - <!-- We must use Servlet API 2.3 to catch incompatibilities.. --> - <target name="check-servlet-version"> - <available classpathref="compile.classpath" classname="javax.servlet.Servlet" property="servlet.available"/> - <fail unless="servlet.available" message="Java Servlet API library is not available."/> - <echo>Java Servlet API is available.</echo> - - <available classpathref="compile.classpath" classname="javax.servlet.ServletRequestListener" property="servlet.version.is-2.4"/> - <fail if="servlet.version.is-2.4" message="Java Servlet API 2.4 or later detected. Vaadin must be compiled exactly with Servlet API 2.3."/> - <echo>Java Servlet API specification 2.3 used.</echo> - </target> - <!-- ================================================================== --> <!-- Initialization - - - - - - - - - - - - - - - - - - - - - - - - - - --> <!-- ================================================================== --> @@ -429,7 +417,7 @@ </copy> </target> - <target name="compile-java" depends="init, check-servlet-version, webcontent"> + <target name="compile-java" depends="init, webcontent"> <echo>Compiling src (server-side)</echo> <!-- Compile all sources at the same time as they depend on each other --> |