
Maybe logout.php should also clean up $SESSION["wantsurl"]

