diff options
Diffstat (limited to 'src/org.gluster.storage.management.gateway/build/glusterserver.ant')
-rw-r--r-- | src/org.gluster.storage.management.gateway/build/glusterserver.ant | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/org.gluster.storage.management.gateway/build/glusterserver.ant b/src/org.gluster.storage.management.gateway/build/glusterserver.ant index 9ba36f55..d05a5fb9 100644 --- a/src/org.gluster.storage.management.gateway/build/glusterserver.ant +++ b/src/org.gluster.storage.management.gateway/build/glusterserver.ant @@ -1,6 +1,4 @@ <project name="org.gluster.storage.management.gateway" basedir="." default="archive"> - <echo message="basedir=${basedir}" /> - <echo message="buckminster.output=${buckminster.output}" /> <property name="WEB-INF" value="${basedir}/WebContent/WEB-INF" /> <property name="OUT" value="${buckminster.output}/glusterserver/" /> <property name="WAR_FILE_NAME" value="glustermg.war" /> @@ -59,6 +57,7 @@ <exclude name="**/servlet-api.jar" /> </fileset> </copy> + <replace file="${TEMP}/WEB-INF/web.xml" token="@VERSION@" value="${product.version}" /> <war destfile="${OUT}/${WAR_FILE_NAME}" basedir="${TEMP}" compress="true" webxml="${TEMP}/WEB-INF/web.xml" /> <delete dir="${TEMP}" /> </target> |