+
+const events = new EventSource(API + "events");
+
+events.addEventListener("players", function(event) {
+ const players_element = document.getElementById("players");
+ const players = JSON.parse(event.data);
+
+ players_element.innerHTML = '';
+ for (const player of players) {
+ var li =document.createElement('li');
+ li.innerText = player.name;
+ players_element.appendChild(li);
+ }
+});
+
+events.addEventListener("player-register", function(event) {
+ const players = document.getElementById("players");
+ const player = JSON.parse(event.data);
+
+ const li = document.createElement('li');
+ li.innerText = player.name;
+ players.appendChild(li);
+});