ignore_user_abort

(PHP 4, PHP 5)

ignore_user_abort — Active l'interruption de script sur déconnexion du visiteur

Description

int ignore_user_abort ([ string $value ] )

ignore_user_abort() active l'option qui fait que, lors de la déconnexion du client Web, le script poursuit son exécution.

Lorsque PHP est exécuté comme script en ligne de commande, et que le tty du script est fermé sans que le script soit terminé, alors le script s'arrêtera dès qu'il essaiera d'écrire quelque chose, à moins que value soit TRUE

Liste de paramètres

value: Si fourni, la fonction va attribuer à la directive ignore_user_abort la valeur de value. Si omis, cette fonction ne fait que retourner la valeur de la configuration courante.

Valeurs de retour

Retourne la configuration précédente, sous la forme d'un entier.

Exemples

Exemple #1 Exemple avec ignore_user_abort()

<?php
// Ignore la déconnexion de l'utilisateur et autorise
// le script à continuer de s'exécuter
ignore_user_abort(true);
set_time_limit(0);

echo 'Test du gestionnaire de connexion de PHP';

// Exécution d'une boucle infinie surveillant
// l'activité de l'utilisateur. Soit il clique en dehors
// de la page, soit il clique sur le boutton "Stop".
while(1)
{
	// La connexion a-t-elle échoué ?
	if(connection_status() != CONNECTION_NORMAL)
	{
		break;
	}

	// On attend 10 secondes
	sleep(10);
}

// Si c'est atteint, alors l'instruction 'break' 
// sera lancée depuis la boucle infinie

// Aussi, nous pouvons à ce niveau entrer des informations dans l'historique,
// ou exécuter d'autres taches nécessaires, sans pour autant être dépendant
// du navigateur.
?>

Notes

PHP ne détecte pas la déconnexion du client Web jusqu'à ce qu'une tentative d'envoi soit faite. La simple utilisation d'un echo ne garantit pas que l'information est envoyée, voir la fonction flush().

Voir aussi

connection_aborted() - Indique si l'internaute a abandonné la connexion HTTP
connection_status() - Retourne les bits de statut de la connexion HTTP
Gestionnaire de connexion pour une description complète du gestionnaire de connexion en PHP.