From bf92f5c0d87ea90f92d7b451784cbe3d91761080 Mon Sep 17 00:00:00 2001
From: Peter Hormanns <peter.hormanns@hostsharing.net>
Date: Mon, 19 Dec 2011 16:40:48 +0100
Subject: [PATCH] clean generated web.xml

---
 hsarback/build.xml |    5 ++---
 1 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/hsarback/build.xml b/hsarback/build.xml
index bb9f620..8490157 100644
--- a/hsarback/build.xml
+++ b/hsarback/build.xml
@@ -32,6 +32,7 @@
 	<target name="clean" description="aufräumen">
 		<delete dir="${build.home}" />
 		<delete dir="${dist.home}" />
+		<delete file="webapp/WEB-INF/web.xml" />
 	</target>
 
 	<target name="deploy" depends="war">
@@ -136,9 +137,7 @@
 			driver="org.postgresql.Driver" 
 			url="jdbc:postgresql://${database.host}:5432/${database.name}"
 			userid="${database.user}" password="${database.password}" 
-			src="database/dropschema.sql">
-				<connectionProperty name="ssl" value="true" />
-		</sql>
+			src="database/dropschema.sql" />
 	</target>
 	
 	<target name="remote-test" description="inspection of xmlrpc-api" depends="compile-test">

--
Gitblit v1.9.1