vorige Präsentation: Cookies | zurück zum Buch-Kapitel [esc] | Nächste Präsentation Schreiben in die Datenbank
HTTP ist “statelesse” - jeder HTTP Request ist ein isoliertes Ereignis, der Server kann nicht erkennen ob Requests zusammen gehören.
Mit der Einführung von Cookies, und damit von state, können wir nun erkennen, dass mehrere Requests zusammen gehören, vom selben Browser ausgelöst wurden.
Wir nennen diese Folge von Requests dann eine “Session”.
PHP hilft beim Erkennen und Verwenden von Sessions:
Mit dem Befehle session_start()* wird
$_SESSION Daten gespeichert werden, sorgt PHP dafür, dass die Daten am Server permanent gespeichert werden.$_SESSION-Array geladen.Für unsere Applikation werden wir das $_SESSION-Array verwenden, um den Usernamen des angemeldeten Users zu speichern.
Die folgende Tabelle zeigt alle nochmal alle Seiten der Applikation im Überblick. Diesmal ist auch die Methode angegeben, da login.php verschiedene Aufgaben hat, je nachdem ob es mit GET oder POST aufgerufen wird.
| Titel | Methode | Dateiname | Parameter | Beschreibung |
|---|---|---|---|---|
| Home | GET | index.php |
Zeigt Gesamtzahl der Personen und Werke an. | |
| Login Formular | GET | login.php |
Zeigt das Formular für den Login an | |
| Login | POST | login.php |
username, passwort | Prüft die Daten, setzt Username in der Session, dann Redirect zu index.php |
| Logout | POST | logout.php |
Löschte Session und Session-Cookie, dann Redirect zu index.php | |
| Personen | GET | personen.php |
Zeigt 10 zufällig ausgewählt Personen an, mit Links zu person.php | |
| Details zu einer Person | GET | person.php |
id (Schlüssel der Person) | Zeigt Details zu einer bestimmten Person an: Anzahl der Werke und Username |
| Werke | GET | werke.php |
Zeigt 10 zufällig ausgewählt Werke an, mit Links zu werk.php | |
| Details zu einem Werk | GET | werk.php |
id (Schlüssel des Werks) | Zeigt Details zu einer bestimmten Werk an: Titel, Datum der Publikation, eventuell eine Liste der Beteiligten Personen und ihrer Rollen |
session_start() wird in functions.php ausgeführt, also bei jedem Aufruf einer der Seiten der Applikation. Die Applikation zeigt direkt in der Navigationsleiste die Login/Logout-Möglichkeit und den Namen des eingeloggten Users an:

Das Login-Formular (Dateiname login.php) sieht ganz einfach aus und sendet die Daten mit POST wieder an login.php:

Username und Passwort werden überprüft, falls Sie passen wird der Username in der Session gespeichert. Mit dem Befehl header("Location: index.php") wird der Browser dann automatisch an die Hauptseite weitergeleitet.
if ( strlen($username) > 0 and check_login( $username, $passwort ) ) {
$_SESSION['USER'] = $username;
header("Location: index.php");
exit;
}
Nach dem gelungen Login kann man jede beliebige Seite der Applikation aufrufen, immer wird im Array $_SESSION der Username gespeichert sein. So kann er z.B. in der Navigations-Leiste angezeigt werden.
Das Logout erfolgt ebenfalls mit der Methode POST:
<form action="logout.php" method="post">
<input type="submit" value="Logout" />
</form>
Das Logout ist etwas umständlich zu Programmieren: das Cookie, das von PHP gesetzt wurde, muß man nun selbst löschen. Dazu wird das „Ablaufdatum“ des Cookies auf ein Datum in der Vergangenheit gesetzt, dann wird der Browser es löschen.
// Löschen aller Session-Variablen.
$_SESSION = array();
// Löscht das Session-Cookie.
if (isset($_COOKIE[session_name()])) {
setcookie(
session_name(), // Cookie-Name war gleich Name der Session
'', // Cookie-Daten. Achtung! Leerer String hier hilft nicht!
time()-42000, // Ablaufdatum in der Vergangenheit. Erst das löscht!
'/' // Wirkungsbereich des Cookies: der ganze Server
);
}
session_destroy();
header("Location: index.php");
Das Setzen und Löschen der Session-Cookies dauert immer einen Request länger als gedacht! Deswegen ist eine Weiterleitung mit Location: sinnvoll.
Die Weiterleitung funktioniert nur, wenn noch keine Ausgabe erfolgt ist, also vor dem Laden der header-include-Datei. Hier am Beispiel von login:
<?php
$pagetitle = "Login";
include "functions.php";
$username = $_POST['username'];
$passwort = $_POST['passwort'];
if ( strlen($username) > 0 and check_login( $username, $passwort ) ) {
$_SESSION['USER'] = $username;
header("Location: index.php");
exit;
}
include "header.php";
Eine Weiterleitung nach der Behandlung eines POST-Requests ist allgemein sinnvoll.

vorige Präsentation: Cookies | zurück zum Buch-Kapitel [esc] | Nächste Präsentation Schreiben in die Datenbank
/
#