Merge pull request #469 from Fang-/talk-hotfix-1-of-2

[HOTFIX] Talk: implement ++quit arms
This commit is contained in:
Ted Blackman 2017-12-08 10:18:00 -08:00 committed by GitHub
commit c5ced61d15
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -118,7 +118,7 @@
^- (quip move _..prep)
?~ old
ta-done:ta-init:ta
[~ ..prep(+<+ u.old)]
[-:ta-done:ta-init:ta ..prep(+<+ u.old)]
::
::> ||
::> || %utility
@ -186,6 +186,24 @@
ole
[new num]
::
++ peer-client ::< ui state peer move
^- move
:* ost.bol
%peer
/server/client
server
/client
==
::
++ peer-inbox
^- move
:* ost.bol
%peer
/server/inbox
server
/circle/[inbox]/grams/config/group/(scot %ud count)
==
::
::> ||
::> || %engines
::> ||
@ -263,19 +281,7 @@
::
%- ta-emil
^- (list move)
:~ :* ost.bol
%peer
/
server
/client
==
:* ost.bol
%peer
/
server
/circle/[inbox]/grams/config/group
==
==
~[peer-client peer-inbox]
::
++ ta-take ::< accept prize
::>
@ -2144,6 +2150,21 @@
::> ||
::+|
::
++ quit
|= wir/wire
^- (quip move _+>)
[-:ta-done:ta-init:ta +>]
::
++ quit-server-client
|= wir/wire
^- (quip move _+>)
[[peer-client]~ +>]
::
++ quit-server-inbox
|= wir/wire
^- (quip move _+>)
[[peer-inbox]~ +>]
::
++ peer ::< accept subscription
::> incoming subscription on pax.
::