Merged #257 "Bump to JGit 4.0.0"

James Moger

2015-06-15 c0c5b206bb8d61fb82f09511f8b0214b64f726f4

 src/main/java/com/gitblit/wicket/pages/RootPage.java

@@ -151,6 +151,7 @@
      boolean authenticateAdmin = app().settings().getBoolean(Keys.web.authenticateAdminPages, true);
      boolean allowAdmin = app().settings().getBoolean(Keys.web.allowAdministration, true);
      boolean allowLucene = app().settings().getBoolean(Keys.web.allowLuceneIndexing, true);
      boolean displayUserPanel = app().settings().getBoolean(Keys.web.displayUserPanel, true);
      boolean isLoggedIn = GitBlitWebSession.get().isLoggedIn();

      if (authenticateAdmin) {
@@ -168,7 +169,7 @@
         }
      }

      if (authenticateView || authenticateAdmin) {
      if (displayUserPanel && (authenticateView || authenticateAdmin)) {
         if (isLoggedIn) {
            UserMenu userFragment = new UserMenu("userPanel", "userMenuFragment", RootPage.this);
            add(userFragment);