From 793a8c5d516796bd939f636ba12e495cf3fb85d9 Mon Sep 17 00:00:00 2001
From: Peter Hormanns <peter.hormanns@jalin.de>
Date: Thu, 18 Oct 2012 17:14:44 +0200
Subject: [PATCH] fix pac-domin migration
---
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.3