What would the best way be to logout a user from a PHP application (so basically just perform a redirec