refresh-server 0.7.0

Webserver with a refresh function whitch reloads the page in the browser
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

const websocket = new WebSocket("ws://<address>:<port>/ws/connect");

websocket.addEventListener("open", _ => {
    websocket.send("socket is open")
})
 
websocket.addEventListener("message", event => {
    if (event.data.trim() === "") {
        location.reload()
    } else {
        location.replace(event.data)
    }
})