From 3c9056c0e918ffc0c29a8bdba64fb34b8293e73d Mon Sep 17 00:00:00 2001
From: Artur Signell <artur.signell@itmill.com>
Date: Fri, 18 Dec 2009 14:56:19 +0000
Subject: [PATCH] Temporary removed api version check (#3810)

svn changeset:10452/svn branch:6.3
---
 build/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/build.xml b/build/build.xml
index 4cbc0c5e80..a6b7e65ecf 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -134,7 +134,7 @@
       <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."/>
+      <!--<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>
 
-- 
2.39.5