[php] Neue Header funktion?

[Tobias Hovorka]

Hallo Liste!

Mir ist aufgefallen das ich bei meiner PHP Version (4.2.3) Einen header
schicken kann obwohl vorher mit echo eine Ausgabe stattgefunden hat.

Konnte im Manual nichts dazu finden...seit wann ist das denn so?

<Code>

<?php

echo var_dump($_POST);
echo "<br><br>";

switch($foo){

case "bar":
  [..]
break;
}
header("Location: ../admin/".$seite);
?>

</code>

Keine Fehlermeldung, Weiterleitung wurde durchgeführt!

Gruß

Tobias