Amélioration du script gérant les déconnexions

Le serveur ne devrait plus planter lors de la déconnexion d'un client.