Refine branch and pages servlets

James Moger

2014-05-04 1946fe76331b37c5a3be97268f0e3b0e58f3bb00

 src/main/java/com/gitblit/tickets/TicketNotifier.java

@@ -204,7 +204,9 @@
         } catch (Exception e) {
            Logger.getLogger(getClass()).error("failed to get changed paths", e);
         } finally {
            repo.close();
            if (repo != null) {
               repo.close();
            }
         }

         String compareUrl = ticketService.getCompareUrl(ticket, base, patchset.tip);