urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-03 01:54:43 +03:00
Code Issues Packages Projects Releases Wiki Activity

kiln: don't allow bump-many for non-current kelvin

Browse Source
This commit is contained in:
Philip Monk 2021-11-12 14:37:54 -08:00
parent 84453c13d5
commit 901bcdf7b8
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
1 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkg/arvo/lib/hood/kiln.hoon
View File

@ -682,11 +682,9 @@
=/ ded (find-blocked kel except)
=? kiln force (suspend-many ded)
?: |(force =(~ ded))
=/ desks
?: !=(zuse+zuse kel)
(sy %base ~)
(all-desks-but (~(uni in except) ded))
(bump-many kel desks)
?: !=(zuse+zuse kel)
(bump-one kel %base)
(bump-many (all-desks-but (~(uni in except) ded)))
=- (^emit (pyre:pass leaf/- ~))
"kiln: desks blocked upgrade to {<zuse/zuse>}: {<ded>}"
::
@ -706,7 +704,7 @@
$(ded t.ded, kiln abet:(suspend i.ded))
::
++ bump-many
|= [kel=weft live=(set desk)]
|= live=(set desk)
^+ kiln
:: ensure %base is always reloaded first
::
@ -720,7 +718,7 @@
::
|- ^+ kiln
?~ liv kiln
$(liv t.liv, kiln (bump-one kel i.liv))
$(liv t.liv, kiln (bump-one zuse+zuse i.liv))
::
++ bump-one
|= [kel=weft =desk]
@ -914,7 +912,7 @@
update-running-dudes
?. =(%base loc)
kiln
(bump-many zuse+zuse (all-desks-but (get-unblockers ark)))
(bump-many (all-desks-but (get-unblockers ark)))
::
++ take-merge-main
|= syn=sign-arvo