mirror of
https://github.com/urbit/shrub.git
synced 2024-12-19 16:51:42 +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 | ||