From 898561481245ca43e2416c8ec645ee2269df7369 Mon Sep 17 00:00:00 2001
From: peter <peter.hormanns@jalin.de>
Date: Sat, 20 Oct 2012 19:09:17 +0200
Subject: [PATCH] Merge branch 'master' of ssh://hsh04-source@hsh04.hostsharing.net/home/doms/source.hostsharing.net/source/hsadmin.git

---
 hsarweb/build.xml |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)

diff --git a/hsarweb/build.xml b/hsarweb/build.xml
index 530142d..eaad198 100644
--- a/hsarweb/build.xml
+++ b/hsarweb/build.xml
@@ -21,6 +21,7 @@
 				<filter token="CONFIG_PORT" value="${hsar.https.port}"/>
 				<filter token="ADMIN_HOST" value="${hsarweb.domain.name}"/>
 				<filter token="ADMIN_PORT" value="${hsarweb.https.port}"/>
+				<filter token="HTTPS" value="${hsar.https}"/>
 			</filterset>
 		</copy>
         <war destfile="build/hsarweb.war" basedir="WebContent">
@@ -38,4 +39,9 @@
 		/>    
     </target>
 
+    <target name="clean">
+    	<delete dir="build"/>
+    	<delete file="WebContent/WEB-INF/web.xml"/>
+    </target>
+
 </project>

--
Gitblit v1.9.0-SNAPSHOT