diff options
| author | James Moger <james.moger@gitblit.com> | 2013-06-26 17:09:01 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2013-06-26 17:09:01 -0400 |
| commit | 17725677285470ca7dbf5da93e4235415545a7cf (patch) | |
| tree | 5ea4e9263b7f651a24f6c12cf48c04300152a159 /src/main/java/WEB-INF/web.xml | |
| parent | f3a9d8bdbe5e2bfcf23ede30c8ebdb112ce49ba9 (diff) | |
| download | gitblit-17725677285470ca7dbf5da93e4235415545a7cf.tar.gz gitblit-17725677285470ca7dbf5da93e4235415545a7cf.zip | |
Support custom header logo images of 120x45 (issue 208)
Diffstat (limited to 'src/main/java/WEB-INF/web.xml')
| -rw-r--r-- | src/main/java/WEB-INF/web.xml | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/src/main/java/WEB-INF/web.xml b/src/main/java/WEB-INF/web.xml index 573305c4..bf121663 100644 --- a/src/main/java/WEB-INF/web.xml +++ b/src/main/java/WEB-INF/web.xml @@ -140,7 +140,20 @@ <servlet-name>PagesServlet</servlet-name>
<url-pattern>/pages/*</url-pattern>
</servlet-mapping>
+
+ <!-- Logo Servlet
+ <url-pattern> MUST match:
+ * Wicket Filter ignorePaths parameter -->
+ <servlet>
+ <servlet-name>LogoServlet</servlet-name>
+ <servlet-class>com.gitblit.LogoServlet</servlet-class>
+ </servlet>
+ <servlet-mapping>
+ <servlet-name>LogoServlet</servlet-name>
+ <url-pattern>/logo.png</url-pattern>
+ </servlet-mapping>
+
<!-- Robots.txt Servlet
<url-pattern> MUST match:
@@ -269,7 +282,7 @@ * PagesFilter <url-pattern>
* PagesServlet <url-pattern>
* com.gitblit.Constants.PAGES_PATH -->
- <param-value>git/,feed/,zip/,federation/,rpc/,pages/,robots.txt,sparkleshare/</param-value>
+ <param-value>git/,feed/,zip/,federation/,rpc/,pages/,robots.txt,logo.png,sparkleshare/</param-value>
</init-param>
</filter>
<filter-mapping>
|