Merge branch 'develop'

James Moger

2015-11-22 ed552ba47c02779c270ffd62841d6d1048dade70

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