// Socket.IO laeuft am selben Host und Port wie die Seite, io() ohne Argument
// verbindet sich dorthin zurueck.
const socket = io();

// ######################################################################################################################################################
// Websockets event handler
// ######################################################################################################################################################

socket.on('refresh', (message) => {
    document.location.reload()                                      // Reload page on received 'refresh' messagen
});