muni-town / weird

Weird web pages
https://weird.one
Other
44 stars 12 forks source link

we can hit this somehow when restarting the RPC server while Weird tries to #156

Open github-actions[bot] opened 2 months ago

github-actions[bot] commented 2 months ago

reconnect to it and send it messages.


https://github.com/muni-town/weird/blob/a8b1a30619dca62afab1c6c5478e446d2b716032/leaf/leaf-rpc-server/src/proto.rs#L107-L113


This issue was generated by todo-issue based on a TODO comment in a8b1a30619dca62afab1c6c5478e446d2b716032.