Fixed a bug in logout.php where an exception would be thrown if the user tried to without being logged in (found because session expired)