Replaced repository name as search criterion with repository id

Eddy Young

2015-05-22 4cb1a97509b9b42ca7efb4fa0f727b89b044202d

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