mirror of
https://github.com/urbit/shrub.git
synced 2024-12-22 10:21:31 +03:00
f285c7954e
This lets applications suggest to the client that they should gracefully unsubscribe from the session. Arguably this might be accomplished by %kick-ing the client and then crashing on their subsequent resubscribe, but this requires tracking their sole session id and has less semantic clarity on what's happening. |
||
---|---|---|
.. | ||
drum.hoon | ||
helm.hoon | ||
kiln.hoon |