Umleitung zu einer anderen Domain

[Gumbo]

Das

exit;

gibt aber nur einen Sinn, wenn weiterer PHP-Quelltext darauf folgen sollte

Wieso das denn? Das exit hat den Sinn, dass das Skript nach Setzen des Header-Feldes beendet wird. Ob das Skript danach sowieso enden würde oder nicht, ist doch egal, da es bereits durch das exit beendet wird.

 

[Neurodeamon]

Wieso das denn? Das exit hat den Sinn, dass das Skript nach Setzen des Header-Feldes beendet wird. Ob das Skript danach sowieso enden würde oder nicht, ist doch egal, da es bereits durch das exit beendet wird.

Wie soll ich dann das PHP Manual verstehen?

<?php
header("Location: http://www.example.com/"); /* Browser umleiten */

/* Stellen Sie sicher, dass der nachfolgende Code nicht ausgefuehrt wird, wenn
   eine Umleitung stattfindet. */
exit;
?>

 

[Gumbo]

Dass das exit sicherstellt, „dass der nachfolgende Code nicht ausgefuehrt wird, wenn eine Umleitung stattfindet.“ Hab ich etwa etwas anderes behauptet?

 

[Neurodeamon]

Hab ich etwa etwas anderes behauptet?

Nein, aber ich weiß nicht worauf Du mit dem exit hinaus willst. Es ist doch gar nicht nötig, oder verhält sich PHP mit und ohne 'exit' anders?
Mein Hinweis spielte gezielt auf bestimmte Server an, welche das PHP-Shorttag nicht erlauben. Also ein konkretes Problem.

Und worauf willst Du mit dem exit() hinaus?
Ist das nicht eigentlich nur Kosmetik?

Ich meine es echt nicht böse.
Aber verstehst Du warum ich mich wundere?

 

[Gumbo]

Wenn du meinen und deinen Vorschlag miteinander vergleichst, wirst du feststellen, dass ich nicht nur das exit hinzugefügt habe.

 

[Neurodeamon]

Ja, der Response Code ist eine nützliche Erweiterung die Sinn hat. Aber habe ich daran irgend etwas ausgesetzt?