Fix failure of RedisTicketService to determine hasTicket
Merged #42 "Fix failure of RedisTicketService to determine hasTicket"