If the websocket port is changed (with --websocket), the JS in playing.html still assumes the port is 8000.
A possible solution could be to generate a JavaScript/JSON file with Haskell containing the websocket port, e.g.:
dfterm3_ports = {
'websocket': 8000
}
which could be included in playing.html before connecting to the websocket server.
If the websocket port is changed (with
--websocket
), the JS in playing.html still assumes the port is 8000. A possible solution could be to generate a JavaScript/JSON file with Haskell containing the websocket port, e.g.:which could be included in playing.html before connecting to the websocket server.