diff options
author | Yuhi Ishikura <yuhi.ishikura@gmail.com> | 2013-06-03 07:12:39 +0900 |
---|---|---|
committer | Yuhi Ishikura <yuhi.ishikura@gmail.com> | 2013-06-03 07:12:39 +0900 |
commit | d6bbb222a1d80c8c7ec4323fb4e9abed69e4ff29 (patch) | |
tree | 863884d3b1128b5b695a1ff67efb45dde81808f2 | |
parent | 7eb9828ec6a31ad372c6a1dac7fa042bcdbd6818 (diff) | |
download | gitblit-d6bbb222a1d80c8c7ec4323fb4e9abed69e4ff29.tar.gz gitblit-d6bbb222a1d80c8c7ec4323fb4e9abed69e4ff29.zip |
Added 'htm' extension as default index page.
-rw-r--r-- | src/main/java/com/gitblit/PagesServlet.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/java/com/gitblit/PagesServlet.java b/src/main/java/com/gitblit/PagesServlet.java index 1e2d3111..9516b357 100644 --- a/src/main/java/com/gitblit/PagesServlet.java +++ b/src/main/java/com/gitblit/PagesServlet.java @@ -150,8 +150,9 @@ public class PagesServlet extends HttpServlet { if (StringUtils.isEmpty(resource)) {
// find resource
List<String> markdownExtensions = GitBlit.getStrings(Keys.web.markdownExtensions);
- List<String> extensions = new ArrayList<String>(markdownExtensions.size() + 1);
+ List<String> extensions = new ArrayList<String>(markdownExtensions.size() + 2);
extensions.add("html");
+ extensions.add("htm");
extensions.addAll(markdownExtensions);
for (String ext : extensions){
String file = "index." + ext;
|