POST-DATA: ".htmlspecialchars(print_r($_POST, true))."\nSESSION_DATA: ".htmlspecialchars(print_r($_SESSION, true)).""); if (isset($_POST['username']) && isset($_POST['password'])) { $role = find_role($_POST['username'], $_POST['password']); if ($role === NULL) { $_SESSION['role'] = ROLE_ANONYMOUS; logger("session/start.php", "login", "wrong user data (username: »{$_POST['username']}«)"); login_screen('Ihre Anmeldung konnte nicht durchgeführt werden. Vermutlich haben Sie falsche Zugangsdaten eingegeben.'); } else { setup_session($role, $_POST['username']); } unset($_POST['username']); unset($_POST['password']); } elseif (isset($_SESSION['role'])) { /* User ist eingeloggt (aber vielleicht als ROLE_ANONYMOUS!) */ } else { $_SESSION['role'] = ROLE_ANONYMOUS; } // Wenn wir hier sind, ist der Benutzer eingeloggt. Möglicherweise nur als ANONYMOUS DEBUG("Role: ".$_SESSION['role']); ?>