fix pac-domin migration

Peter Hormanns

2012-10-18 793a8c5d516796bd939f636ba12e495cf3fb85d9

 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>