Merged #257 "Bump to JGit 4.0.0"

James Moger

2015-06-15 c0c5b206bb8d61fb82f09511f8b0214b64f726f4

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

@@ -493,6 +493,10 @@
   @Override
   protected boolean deleteAllImpl(RepositoryModel repository) {
      Repository db = repositoryManager.getRepository(repository.name);
      if (db == null) {
         // the tickets no longer exist because the db no longer exists
         return true;
      }
      try {
         File dir = new File(db.getDirectory(), TICKETS_PATH);
         return FileUtils.delete(dir);