mirror of
https://github.com/urbit/shrub.git
synced 2024-11-27 18:34:48 +03:00
pull-hook: leave quietly, do not crash if we have already left
This commit is contained in:
parent
d76cf9ae8b
commit
265db42a0a
@ -514,7 +514,11 @@
|
||||
^+ tr-core
|
||||
?- -.action
|
||||
%add (tr-add +.action)
|
||||
%remove tr-remove:(tr-abed resource.action)
|
||||
::
|
||||
%remove
|
||||
?. (~(has by tracking) resource.action)
|
||||
tr-core
|
||||
tr-remove:(tr-abed resource.action)
|
||||
==
|
||||
::
|
||||
++ tr-cleanup
|
||||
|
Loading…
Reference in New Issue
Block a user