From 7eb9828ec6a31ad372c6a1dac7fa042bcdbd6818 Mon Sep 17 00:00:00 2001
From: Yuhi Ishikura <yuhi.ishikura@gmail.com>
Date: Sun, 02 Jun 2013 17:53:20 -0400
Subject: [PATCH] Improve index page strategy in PagesServlet.
---
src/main/java/com/gitblit/git/GitDaemon.java | 14 ++++++++++++++
1 files changed, 14 insertions(+), 0 deletions(-)
diff --git a/src/main/java/com/gitblit/git/GitDaemon.java b/src/main/java/com/gitblit/git/GitDaemon.java
index 7050f87..3c45171 100644
--- a/src/main/java/com/gitblit/git/GitDaemon.java
+++ b/src/main/java/com/gitblit/git/GitDaemon.java
@@ -177,6 +177,20 @@
}
} };
}
+
+ public int getPort() {
+ return myAddress.getPort();
+ }
+
+ public String formatUrl(String servername, String repository) {
+ if (getPort() == 9418) {
+ // standard port
+ return MessageFormat.format("git://{0}/{1}", servername, repository);
+ } else {
+ // non-standard port
+ return MessageFormat.format("git://{0}:{1,number,0}/{2}", servername, getPort(), repository);
+ }
+ }
/** @return timeout (in seconds) before aborting an IO operation. */
public int getTimeout() {
--
Gitblit v1.9.1