• Nigel McNie's avatar
    If a logged out person hits a public page which has thrown an... · 13a09d7e
    Nigel McNie authored
    If a logged out person hits a public page which has thrown an AccessDeniedException, redirect them to the login page.
    
    Real users are only going to try logging in anyway, and non users aren't going to be able to log in, so it's just a usability improvement.
    
    It might be worth adding a message to say what's happened later.
    13a09d7e
lib.php 51.1 KB