Merge pull request #5407 from urbit/yu/rein-fix

hood: fix |rein when starting/stopping multiple agents
This commit is contained in:
jose 2021-11-10 05:54:00 +01:00 committed by GitHub
commit e84e338499
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,7 +10,7 @@
:- desk
%+ roll arg
=| =rein:hood
|: [*[on=? =dude:gall] rein(liv liv)]
|: [*[on=? =dude:gall] rein=rein(liv liv)]
?: on
rein(add (~(put in add.rein) dude))
rein(sub (~(put in sub.rein) dude))