From 5e43f65d95b7e68a7ed90fe17be4594f4d974f4e Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Sun, 25 Mar 2012 20:31:19 -0400
Subject: [PATCH] Do not include servlet jar in WAR build

---
 build.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 4f73222b..f481aae4 100644
--- a/build.xml
+++ b/build.xml
@@ -406,6 +406,7 @@
 				<exclude name="jetty*.jar" />
 				<exclude name="junit*.jar" />
 				<exclude name="servlet*.jar" />
+				<exclude name="javax.servlet*.jar" />
 			</fileset>
 		</copy>
 
@@ -542,6 +543,7 @@
 				<exclude name="jetty*.jar" />
 				<exclude name="junit*.jar" />
 				<exclude name="servlet*.jar" />
+				<exclude name="javax.servlet*.jar" />
 			</fileset>
 		</copy>
 
@@ -984,4 +986,4 @@
 		<delete dir="${project.war.dir}" />
 		<delete dir="${project.deploy.dir}" />
 	</target>
-</project>
+</project>
-- 
2.39.5