Manually redirect after branch deletion (issue 282)

James Moger

2013-07-31 e523d77e5f9d61a7cbf0b2242c8795a22fdf7b45

 src/main/java/com/gitblit/utils/StringUtils.java

@@ -331,7 +331,7 @@
      String fp = fullPath.replace('\\', '/').toLowerCase();

      if (fp.startsWith(bp)) {

         String relativePath = fullPath.substring(basePath.length()).replace('\\', '/');

         if (relativePath.charAt(0) == '/') {

         if (relativePath.length() > 0 && relativePath.charAt(0) == '/') {

            relativePath = relativePath.substring(1);

         }

         return relativePath;