Discussion :

[Invité]

Bonjour à toutes et à tous,

Après de nombreux tests et beaucoup de recherche, je me tourne vers Développez avec l'espoir que peut-être, le problème auquel je suis confronté trouvera sa solution.
A mon sens, ce problème me semble davantage tenir de l'anomalie que du problème.

Par pur loisir, j'ai développé une application multi-utilisateurs dont la communication est assurée par un serveur de socket codé en PHP. L'utilisateur s'identifie, le serveur l'enregistre et diffuse l'information à tous les membres connectés. Bref, tout fonctionne à merveille.

L'anomalie rencontrée est la suivante :
Selon la documentation PHP, socket_read renvoie FALSE lorsque la tentative de lecture sur une socket échoue. Autrement dit, quand la lecture sur une socket échoue, c'est parce que la connexion a été rompue. Donc que le client a quitté l'application. Concernant mon application, lorsque le client utilise Chrome, le fait qu'il se déconnecte se détecte instantanément. En revanche, lorsqu'il utilise Firefox, un délais variable d'environ 15/20 secondes s'écoule avant que le serveur ne détecte la déconnexion du client.

Pensez-vous qu'il puisse s'agir d'un comportement du navigateur ? Dans ce cas, pourrait-on imaginer une parade ? Une requête Ajax asynchrone à la fermeture de la page qui serait en charge de forcer la déconnexion ?


En simplifiant, voici la portion de code qui détecte la déconnexion :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
<?php
$buf = @socket_read($this_socket, 2048, PHP_NORMAL_READ);
if ($buf == false or $buf == '') {		
	# Le membre vient de se déconnecter, on le supprime du tableau des resources co.
	unset($sockets_connectes[array_search($this_socket, $sockets_connectes)]);
	$its_name = array_search($this_socket, $membres_co);
	unset($membres_co[array_search($this_socket, $membres_co)]);
	send_message(array_diff($membres_co, array($this_socket)), 'leaving', $its_name);
	echo 'déco';
	break;
}
?>

Au plaisir de discuter.

[Invité]

Bonjour,

Visiblement le problème provient du navigateur. Etant donné que la manipulation des sockets avec HTML implique nécessairement JS, alors il semble logique d'utiliser JS pour forcer la déconnexion.
Pour ceux qui comme moi seraient gênés par cette anomalie qui porte un coup au temps réel, la solution réside simplement en :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
 
		$(window).bind('beforeunload', function(){
			var msg = { action: 'deconnexion', value: ...};
			websocket.send(JSON.stringify(msg));
		});

Côté serveur, à la réception, il suffit simplement de supprimer la ressource des tableaux.

Au plaisir.