Allow to strip domain from kerberos usernames

Vitaliy Filippov

2015-06-01 7b6c1bdaba9877397ffdaf0c8641196cfb060c39

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