fix the script so it REALLY works on Linux

Michel Daviot

2014-04-27 5b2ec0a55d0483031669e7c9dbfd6e11c88031c3

 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);