const events = new EventSource(API + "events");
+events.onerror = function(event) {
+ if (event.target.readyState === EventSource.CLOSED) {
+ add_message("danger", "Connection to server lost.");
+ }
+};
+
events.addEventListener("players", function(event) {
const players_element = document.getElementById("players");
const players = JSON.parse(event.data);