diff options
| author | James Moger <james.moger@gitblit.com> | 2013-05-03 19:03:40 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2013-05-03 19:03:40 -0400 |
| commit | 9985ed23ae251c1d024a223f9ea8372b75a122f2 (patch) | |
| tree | e40f39a3b42c9742c1c2369ca212d04c2dff721e /build.xml | |
| parent | bb33116dccbd30eba6e4265ba08be909439874d9 (diff) | |
| download | gitblit-9985ed23ae251c1d024a223f9ea8372b75a122f2.tar.gz gitblit-9985ed23ae251c1d024a223f9ea8372b75a122f2.zip | |
Restore web.xml version stamping
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 10 |
1 files changed, 7 insertions, 3 deletions
@@ -267,7 +267,9 @@ <prepareDataDirectory toDir="${webinf}/data" />
<!-- Build the WAR web.xml from the prototype web.xml -->
- <mx:webxml sourcefile="${project.src.dir}/WEB-INF/web.xml" destfile="${webinf}/web.xml" />
+ <mx:webxml sourcefile="${project.src.dir}/WEB-INF/web.xml" destfile="${webinf}/web.xml">
+ <replace token="@gb.version@" value="${project.version}" />
+ </mx:webxml>
<!-- Gitblit jar -->
<mx:genjar destfile="${webinf}/lib/gitblit.jar" includeresources="false" excludeclasspathjars="true">
@@ -377,8 +379,10 @@ <!-- Build the Express web.xml from the prototype web.xml and gitblit.properties -->
<!-- THIS FILE IS NOT OVERRIDDEN ONCE IT IS BUILT!!! -->
<mx:webxml sourcefile="${project.src.dir}/WEB-INF/web.xml" destfile="${webinf}/web.xml"
- propertiesFile="${project.distrib.dir}/data/gitblit.properties"
- skip="server.*" />
+ propertiesFile="${project.distrib.dir}/data/gitblit.properties"
+ skip="server.*">
+ <replace token="@gb.version@" value="${project.version}" />
+ </mx:webxml>
<!-- Gitblit classes -->
<mx:genjar destfile="${webinf}/lib/gitblit.jar" includeresources="false" excludeclasspathjars="true">
|