1
1
mirror of https://github.com/urbit/shrub.git synced 2024-12-31 00:31:26 +03:00
shrub/pkg/arvo/mar/sole
fang f285c7954e
sole: add %bye effect for closing the session
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.
2020-12-15 16:56:47 +01:00
..
action.hoon various: move away from {type} syntax 2020-11-26 17:43:26 +01:00
effect.hoon sole: add %bye effect for closing the session 2020-12-15 16:56:47 +01:00