Add the No Docs page if there are no root documents

James Moger

2014-02-28 c8a833a2ea7d03a5c29ebcd1cf7e2e05c96f3e70

 src/main/java/com/gitblit/git/GitblitReceivePack.java

@@ -416,7 +416,9 @@
         text = MessageFormat.format(msg, objects);

         super.sendMessage(prefix + text);

      }

      LOGGER.info(text + " (" + user.username + ")");

      if (!StringUtils.isEmpty(msg)) {

         LOGGER.info(text + " (" + user.username + ")");

      }

   }



   protected void sendError(String msg, Object... objects) {

@@ -428,7 +430,9 @@
         text = MessageFormat.format(msg, objects);

         super.sendError(text);

      }

      LOGGER.error(text + " (" + user.username + ")");

      if (!StringUtils.isEmpty(msg)) {

         LOGGER.error(text + " (" + user.username + ")");

      }

   }



   /**