diff options
| author | Thomas Pummer <dev@nullpointer.at> | 2013-02-22 17:10:11 +0100 |
|---|---|---|
| committer | Thomas Pummer <dev@nullpointer.at> | 2013-02-22 17:10:11 +0100 |
| commit | dfc4ece4083bbbb98f55291d05e7d2b1513464b7 (patch) | |
| tree | d8b6e9a14d9d59271e83ecd88e9b414733b57f4c | |
| parent | f5e60ba88a28c2df0c9263dd6f999f675fefe4e9 (diff) | |
| download | gitblit-dfc4ece4083bbbb98f55291d05e7d2b1513464b7.tar.gz gitblit-dfc4ece4083bbbb98f55291d05e7d2b1513464b7.zip | |
the display-name in web.xml now shows the actual version of Gitblit
| -rw-r--r-- | build.xml | 15 | ||||
| -rw-r--r-- | src/WEB-INF/web.xml | 5 |
2 files changed, 20 insertions, 0 deletions
@@ -208,6 +208,9 @@ <copy todir="${project.build.dir}">
<fileset dir="${basedir}/src" excludes="**/*.java,**/thumbs.db" />
</copy>
+
+ <!-- Set Version into web.xml -->
+ <replace file="${project.build.dir}/WEB-INF/web.xml" token="@gb.version@" value="${gb.version}" summary="yes"/>
</target>
@@ -277,6 +280,9 @@ <include name="authority.conf" />
</fileset>
</copy>
+
+ <!-- Set Version into web.xml -->
+ <replace file="${project.build.dir}/WEB-INF/web.xml" token="@gb.version@" value="${gb.version}" summary="yes"/>
<!-- Build jar -->
<jar jarfile="${project.deploy.dir}/${project.jar}">
@@ -454,6 +460,9 @@ </fileset>
</copy>
+ <!-- Set Version into web.xml -->
+ <replace file="${project.war.dir}/WEB-INF/web.xml" token="@gb.version@" value="${gb.version}" summary="yes"/>
+
<!-- Copy gitblit.properties as reference.properties -->
<copy tofile="${project.war.dir}/WEB-INF/reference.properties"
file="${basedir}/distrib/gitblit.properties"/>
@@ -497,6 +506,9 @@ <arg value="${project.war.dir}/WEB-INF/web.xml" />
</java>
+
+ <!-- Set Version into web.xml -->
+ <replace file="${project.war.dir}/WEB-INF/web.xml" token="@gb.version@" value="${gb.version}" summary="yes"/>
<!-- Gitblit resources -->
<copy todir="${project.war.dir}">
@@ -729,6 +741,9 @@ <arg value="--propertiesFile" />
<arg value="${basedir}/distrib/gitblit.properties" />
</java>
+
+ <!-- Set Version into web.xml -->
+ <replace file="${deployments.root}/WEB-INF/web.xml" token="@gb.version@" value="${gb.version}" summary="yes"/>
<!-- Gitblit resources -->
<copy todir="${deployments.root}">
diff --git a/src/WEB-INF/web.xml b/src/WEB-INF/web.xml index 75ccf9bd..bdc882a6 100644 --- a/src/WEB-INF/web.xml +++ b/src/WEB-INF/web.xml @@ -26,6 +26,11 @@ <param-name>baseFolder</param-name>
<param-value>${contextFolder}/WEB-INF/data</param-value>
</context-param>
+
+ <!-- Gitblit Displayname -->
+ <display-name>
+ Gitblit - @gb.version@
+ </display-name>
<!-- PARAMS -->
|