From abab3a4e2bc221eb358f846f171cb24fc0f687ad Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Wed, 03 Jul 2013 08:16:39 -0400
Subject: [PATCH] Support hot-reloading of project.mkd
---
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 1e2d311..9516b35 100644
--- a/src/main/java/com/gitblit/PagesServlet.java
+++ b/src/main/java/com/gitblit/PagesServlet.java
@@ -150,8 +150,9 @@
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;
--
Gitblit v1.9.1