mirror of
https://github.com/urbit/shrub.git
synced 2024-12-23 19:05:48 +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. |
||
---|---|---|
.. | ||
action.hoon | ||
effect.hoon |