Generate empty CRL on startup to make Jetty happy

James Moger

2012-11-23 0040210c8290bf60b8b08437d18b6cc05e863f32

 src/com/gitblit/utils/StringUtils.java

@@ -427,6 +427,8 @@
   public static int compareRepositoryNames(String r1, String r2) {

      // sort root repositories first, alphabetically

      // then sort grouped repositories, alphabetically

      r1 = r1.toLowerCase();

      r2 = r2.toLowerCase();

      int s1 = r1.indexOf('/');

      int s2 = r2.indexOf('/');

      if (s1 == -1 && s2 == -1) {