From ae82565bbe851730a76a6e76a8cacd5a7bf40e2e Mon Sep 17 00:00:00 2001
From: Thorsten Rausch <thorsten.rausch@it-designers.de>
Date: Thu, 17 Jun 2021 19:22:36 +0200
Subject: [PATCH] fix missing broadcast "user left"

---
 Webservice/server.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Webservice/server.js b/Webservice/server.js
index dea2df8..b4f8abc 100644
--- a/Webservice/server.js
+++ b/Webservice/server.js
@@ -76,6 +76,7 @@ io.on('connection', socket => {
 
     socket.on('disconnect', function () {
         if (gameState[socket.room] !== undefined && addedUser) {
+            socket.broadcast.to(socket.room).emit('user left', socket.username);
             gameState[socket.room].remove_player(socket.username);
 
             socket.leave(socket.room);