J'utilise PHP-Websockets pour créer un serveur de discussion simple. J'ai tout fonctionne correctement quand je lance le script php qui crée le websocket sur mon serveur pour la première fois. Si le script s'arrête pour une raison quelconque et que j'essaie de le relancer, j'obtiens une erreur indiquant que le script ne peut pas lier le socket car il existe déjà.Fermeture de l'ancien socket Web php
Comment puis-je créer un script pour trouver cette ancienne socket (étant donné que je connais le port sur lequel elle s'exécute) et la fermer pour pouvoir établir une nouvelle connexion?
Vous pouvez utiliser la méthode 'disconnect' dans cette classe pour vous déconnecter si vous êtes déjà connecté –
De quelle méthode de déconnexion faites-vous référence? Je ne peux pas le trouver sur cette page de fonctions php - http://php.net/manual/en/ref.sockets.php – anonymousfox
Vous devez comprendre comment activer 'SO_REUSEADDR'. –