mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-25 07:52:59 +03:00
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.
This commit is contained in:
parent
a124c747b7
commit
f285c7954e
@ -793,6 +793,7 @@
|
||||
?- fec
|
||||
[%bel *] ta-bel
|
||||
[%blk *] +>
|
||||
[%bye *] +>(..ta (se-klin gyl))
|
||||
[%clr *] +>(..ta (se-blit fec))
|
||||
[%det *] (ta-got +.fec)
|
||||
[%err *] (ta-err p.fec)
|
||||
|
@ -75,7 +75,7 @@
|
||||
info+(tape ~(ram re tank))
|
||||
==
|
||||
::
|
||||
?(%bel %clr %nex)
|
||||
?(%bel %clr %nex %bye)
|
||||
(frond %act %s -.sef)
|
||||
==
|
||||
--
|
||||
|
@ -30,6 +30,7 @@
|
||||
+$ sole-effect :: app to sole
|
||||
$% [%bel ~] :: beep
|
||||
[%blk p=@ud q=@c] :: blink+match char at
|
||||
[%bye ~] :: close session
|
||||
[%clr ~] :: clear screen
|
||||
[%det sole-change] :: edit command
|
||||
[%err p=@ud] :: error point
|
||||
|
Loading…
Reference in New Issue
Block a user