improve server restart handling

src/client.js

@@ -87,6 +87,7 @@ socket.addEventListener("message", (event) => {
 socket.addEventListener('close', function (event) {
 	console.log('Disconnected from the WS Server');
 	client_uid = null;
+	setTimeout(() => window.location.reload(), 1000);
 });
 
 

src/index.js

@@ -183,6 +183,16 @@ app.get("/background", function (req, res) {
 server.listen(settings.server_port, settings.server_ip,
 	() => console.log(`Server started at ${settings.server_ip}:${settings.server_port}`));
 
+process.on('SIGINT', () => {
+	console.log("Shutting down server...");
+	// wss.close();
+	wss.clients.forEach(client => client.terminate());
+	server.close(() => {
+		console.log("Server closed");
+		process.exit(0);
+	});
+});
+
 
 // function to get the current time
 function get_time() {