mirror of
https://github.com/urbit/shrub.git
synced 2024-12-25 21:12:56 +03:00
push-hook: fix duplicate messages being sent
This commit is contained in:
parent
8b83df00bd
commit
522d4b72b3
@ -268,7 +268,6 @@
|
||||
%+ weld
|
||||
(push-updates:hc q.cage.sign)
|
||||
cards
|
||||
|
||||
==
|
||||
++ on-leave
|
||||
|= =path
|
||||
@ -374,6 +373,8 @@
|
||||
=/ prefix=path
|
||||
resource+(en-path:resource u.rid)
|
||||
=/ paths=(list path)
|
||||
%~ tap in
|
||||
%- silt
|
||||
%+ turn
|
||||
(incoming-subscriptions prefix)
|
||||
|=([ship pax=path] pax)
|
||||
|
Loading…
Reference in New Issue
Block a user