Modérateur PHPfrance |
10684 Messages
03 nov. 2007, 01:36
Ca dépend

(ouais, je sais, ça dépend, ça dépasse

)
Déjà il faut savoir que quand php rencontre la fonction header() avec le paramètre location, il se contente d'informer le navigateur que celui-ci va être redirigé vers une nouvelle adresse et c'est tout. PHP continue l'exécution du script. Ainsi, si tu mets à jour une données en session après une redirection dans ton code, ta variable sera quand même modifiée sur la page suivante.
Pour éviter cela, il vaut mieux faire suivre les header() d'un exit() pour signaler à php qu'il n'a plus rien à faire à partir de ce point
A partir de là, tout dépend de ton code. Sachant qu'à la fin de l'exécution du script toutes les connexions sont refermées et les ressources libérées, si tu colles un exit() pas besoin de t'embêter (certains diront que c'est malgré tout plus propre de libérer ses ressources). En revanche si tu as besoin de l'exécution du code qui suit, alors il peut être judicieux de les libérer le temps que php arrive au bout du script

Ce n'est pas en améliorant la bougie que l'on a inventé l'ampoule...