You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// run with `node file.js`constws=newWebSocket("ws://localhost:8080/");ws.onopen=function(){console.log("open");setTimeout(()=>{console.log("close");ws.close();},1000);};
The server outputs (with an ugly backtrace with Printexc.record_backtrace true):
echo_server_upgrade.exe: [INFO] Server listening on tcp:127.0.0.1:12345
echo_server_upgrade.exe: [ERROR] Error in connection handler: Multiple exceptions:
- Failure("hd")
- Failure("cannot write to closed writer")
It would be nice to handle a regular connection closing more gracefully.
The text was updated successfully, but these errors were encountered:
To reproduce:
The server outputs (with an ugly backtrace with
Printexc.record_backtrace true
):It would be nice to handle a regular connection closing more gracefully.
The text was updated successfully, but these errors were encountered: