session_end

(unknown)

session_end -- Ecrit les données de session, et termine la session

Description

void session_end (void)

session_end() termine la session courante, et enregistre les données de session.

Les données de session sont généralement enregistrées à la fin du script, sans besoin d'appeler session_end(), mais comme les données de session sont verrouillées pour éviter les accès concurents, seul un script peut travailler sur une session à la fois. Lorsque vous utilisez des frames avec des sessions, vous verrez les frames s'afficher l'un après l'autre, à cause de ce verrouillage. Vous pouvez réduire le temps d'attente en terminant la session le plus tôt possible.

Voir aussi session_readonly().