urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-19 00:13:12 +03:00
Code Issues Packages Projects Releases Wiki Activity

khan: %done task

Browse Source
This commit is contained in:
Jōshin 2022-01-22 01:46:12 +00:00
parent 3cf803129d
commit a247113c57
No known key found for this signature in database
GPG Key ID: A8BE5A9A521639D0
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkg/arvo/sys/lull.hoon
View File

@ -2103,6 +2103,7 @@
+$ task :: in request ->$ +$ task :: in request ->$
$~ [%vega ~] $~ [%vega ~]
$% $>(%born vane-task) :: new unix process $% $>(%born vane-task) :: new unix process
[%done ~] :: socket closed
[%fyrd =beak name=term data=*] :: run thread v0 [%fyrd =beak name=term data=*] :: run thread v0
$>(%trim vane-task) :: trim state $>(%trim vane-task) :: trim state
$>(%vega vane-task) :: report upgrade $>(%vega vane-task) :: report upgrade