nicht angemeldet
<?php
session_start();
if(!session_is_registered('user') || $_SESSION['user'] == "") {
header("location:index.php");
die;
}
?>
session_start() startet bzw. ruf die gestartete Session wieder auf.
header ist so zusagen ne Weiterleitung an die index.php-Seite, falls der user nicht ordnungsgemäß registriert ist bzw. die $_session[user] leer ist.
die() beendet die ausführung des aktuell aufgerufenen Scripts.