From 6f8ad9b1068e57062a5f79da83c10ee715d412ef Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Fri, 21 Dec 2012 16:49:04 -0500
Subject: [PATCH] Fixed cache bug wrt create/edit repository with existing repo name (issue-172)
---
build.xml | 8 +++++++-
1 files changed, 7 insertions(+), 1 deletions(-)
diff --git a/build.xml b/build.xml
index 3dca221..0088597 100644
--- a/build.xml
+++ b/build.xml
@@ -171,7 +171,7 @@
Build Gitblit GO
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-->
- <target name="buildGO" depends="compile" description="Build Gitblit GO distribution">
+ <target name="buildGO" depends="compile,buildAuthority" description="Build Gitblit GO distribution">
<echo>Building Gitblit GO ${gb.version}</echo>
@@ -496,6 +496,11 @@
<exclude name="com/gitblit/Launcher*.class" />
</fileset>
</copy>
+ <copy todir="${project.jar.dir}/static">
+ <fileset dir="${project.resources.dir}">
+ <exclude name="thumbs.db" />
+ </fileset>
+ </copy>
<!-- Build the JAR file -->
<jar basedir="${project.jar.dir}" destfile="${distribution.jarfile}" compress="true" />
@@ -763,6 +768,7 @@
<resource file="${basedir}/resources/user_16x16.png" />
<resource file="${basedir}/resources/users_16x16.png" />
<resource file="${basedir}/resources/rosette_16x16.png" />
+ <resource file="${basedir}/resources/rosette_32x32.png" />
<resource file="${basedir}/resources/vcard_16x16.png" />
<resource file="${basedir}/resources/settings_16x16.png" />
<resource file="${basedir}/resources/settings_32x32.png" />
--
Gitblit v1.9.1