[php] header("Location: ...") tut nix

[Norbert Pfeiffer]

> Du verwirrst mich jetzt ...
hmm,
sei mir nicht boese, aber das war/ist nicht schwer ... :)

Der Befehl header('Location: ...') sorgt nur dafuer, dass entsprechende
Header an den Browser gesendet werden, mehr nicht. Ob das Script danach
beendet wird oder nicht haengt u.a. davon ab, ob ignore_user_abort = On
ist oder nicht.


> kann hier in der Liste jemand die Notwendigkeit eines "exit;"
> nach dem "header('Location: ...')" bestätigen?
hmm,
Du verwirrst mich jetzt ... ;-)
Hoffst Du wirklich,
dass sich ein Script von Meinungen beeinflussen lassen wuerde.

<?php
$fp = fopen('test.log', 'w');
for($i=1; $i<=9; $i++) {
    $wr = fputs($fp, $i.'. '.date('H:i:s', time())."\r\n");
    if ($i == 3) {
        header('Location: http://www.google.de/');
        flush;
    }
    sleep(3);
}
$cl = fclose($fp);
?>
Wie viele Zeilen stehen in der Datei ...


m. b. G.  Norbert
------------------
mobil 0177-1741686
------------------
e.o.m.