123456789101112
<?phpsession_start();#session_name("SESSION");if($_SESSION["user_eingeloggt"] == true) { $user_id = $_SESSION["user_id"];} else { # nichts!!!}?>
<? session_start();