urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-28 05:22:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

jael: properly store ship sources

Browse Source
This commit is contained in:
Philip Monk 2019-12-06 22:04:06 -08:00 committed by Jared Tobin
parent 7706ed6a0c
commit 15bd35301e
No known key found for this signature in database
GPG Key ID: 0E4647D58F8A69E4
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkg/arvo/sys/vane/jael.hoon
View File

@ -875,11 +875,6 @@
++ sources
|= [whos=(set ship) =source]
^+ ..feel
?: ?=(%& -.source)
=/ send-message
|= =message
[hen %pass /public-keys %a %plea p.source %j /public-keys message]
(emit (send-message %public-keys whos))
=^ =source-id this-su (get-source-id source)
=. ..feed
?~ whos
@ -894,6 +889,12 @@
%- ~(gas ju ship-sources-reverse.etn)
(turn whol |=(=ship [source-id ship]))
..feed
::
?: ?=(%& -.source)
=/ send-message
|= =message
[hen %pass /public-keys %a %plea p.source %j /public-keys message]
(emit (send-message %public-keys whos))
(peer p.source whos)
--
::