From d6bbb222a1d80c8c7ec4323fb4e9abed69e4ff29 Mon Sep 17 00:00:00 2001 From: Yuhi Ishikura Date: Mon, 3 Jun 2013 07:12:39 +0900 Subject: [PATCH] Added 'htm' extension as default index page. --- src/main/java/com/gitblit/PagesServlet.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 markdownExtensions = GitBlit.getStrings(Keys.web.markdownExtensions); - List extensions = new ArrayList(markdownExtensions.size() + 1); + List extensions = new ArrayList(markdownExtensions.size() + 2); extensions.add("html"); + extensions.add("htm"); extensions.addAll(markdownExtensions); for (String ext : extensions){ String file = "index." + ext; -- 2.39.5