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:
copy
linked a pull request
Jan 30, 2025
that will
close
this issue
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: