SimpleTicketPlugin not playing well with PrivateTicketPlugin

[spike@…]

Using PrivateTicketPlugin and giving users one of the added permissions instead of TICKET_VIEW causes a problem in redirect():

     def redirect(self, dest):
        if dest.startswith(self.env.href.ticket()):
            if not (self.req.perm.has_permission('TICKET_VIEW'):
                self.req.redirect(self.env.href.simpleticket())

TICKET_VIEW_REPORTER and TICKET_VIEW_SELF are the only ones to be added because the other permissions do not concern the creation of ticket.

Patch attached.

[spike@…]

Patch file