Vielen Dank für eure zahlreichen und guten Antworten.
Ich werd es mit der exit Variante programmieren. Ich war mir nur nicht sicher ob das exit total sicher ist. man kann ja immer noch nach dem exit eine header("Location: ...") machen fals das exit versagt hat, was ja aber nicht passieren sollte.