0 && !is_numeric($nutzernummer)) { $nutzerfehler="

Nutzernummer muss numerisch sein

"; $nutzernummer = ""; } echo <<

Signatur

$nutzerfehler

Nutzernummer

HTML; $nutzer = null; $medium = null; if (strlen($signatur) > 0 && ! $is_cookie_data) { $medium = getMedium($signatur); if ($medium) { echo "

Folgendes Medium wurde gefunden:

"; echo "

$medium

"; } else echo "

Medium >$signatur< ist nicht im System

"; } if (strlen($nutzernummer) > 0 && ! $is_cookie_data) { $nutzer = getNutzer($nutzernummer); if ($nutzer) { echo "

Folgender Nutzer wurde gefunden:

"; echo "

$nutzer

"; } else echo "

Nutzer $nutzernummer ist nicht im System

"; } if ($medium && $nutzer) { $ausleihe = new Ausleihe($medium, $nutzer); $ausl_str = serialize($ausleihe); file_put_contents("/var/media/ausleihe.dat", $ausl_str); echo <<

HTML1; } ?>