More diff page improvements

Tom

2014-10-28 f0ebfe6152959fda74bf7a5436bd765a0a231f6b

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