From 1f4cc634ec72934d5f71131e91cf0ff8cdf7d9e5 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Thu, 10 Apr 2014 12:10:56 -0400
Subject: [PATCH] Remove unused/garbage artifact from an earlier merge
---
src/main/java/com/gitblit/wicket/pages/DocsPage.java | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/src/main/java/com/gitblit/wicket/pages/DocsPage.java b/src/main/java/com/gitblit/wicket/pages/DocsPage.java
index 85c19e2..907dd6e 100644
--- a/src/main/java/com/gitblit/wicket/pages/DocsPage.java
+++ b/src/main/java/com/gitblit/wicket/pages/DocsPage.java
@@ -59,8 +59,9 @@
List<MarkupDocument> roots = processor.getRootDocs(r, repositoryName, commitId);
Fragment fragment = null;
if (roots.isEmpty()) {
- // no identified root documents just show the standard document list
+ // no identified root documents
fragment = new Fragment("docs", "noIndexFragment", this);
+ setResponsePage(NoDocsPage.class, params);
} else {
// root documents, use tabbed ui of index/root and document list
fragment = new Fragment("docs", "tabsFragment", this);
--
Gitblit v1.9.1