isLoggedIn(session_id()); if($ok[0] != 0) $sl->logout(session_id()); header("Location: index.php"); die(); } else { die("Web-Server-Fehler - missing root path file!"); } ?>