Moin,
Diese Datei wird immer geladen.... also ne session wird auf jeden fall gestartet...
Von Session starten kann ich in deinem Code nichts sehen. Du möchtest auf jeden Fall session_start() benutzen!
$a=$HTTP_REFERER;
header('location:'.$a);
Das ist ziemlich unschön, weil du dich auf den Referer verlässt.
--
Henryk Plötz
Grüße aus Berlin