mention which fork died in build.bqn
This commit is contained in:
parent
4f5188a51e
commit
ffa4b38512
@ -552,12 +552,12 @@ Run ← { 𝕊:
|
|||||||
UpdateLive (<DoneLine@)∾{
|
UpdateLive (<DoneLine@)∾{
|
||||||
𝕩≡≠work? "";
|
𝕩≡≠work? "";
|
||||||
FileLine 𝕩⊑work
|
FileLine 𝕩⊑work
|
||||||
}¨ (Ts work) ⊐tmap
|
}¨ (Ts work)⊐tmap
|
||||||
}⍟⊢ t1>nextRedraw-0.02
|
}⍟⊢ t1>nextRedraw-0.02
|
||||||
|
|
||||||
dm ← (0.1⌊nextRedraw-t1) WaitForOne Ts work
|
dm ← (0.1⌊nextRedraw-t1) WaitForOne Ts work
|
||||||
lm ← ¬dm
|
lm ← ¬dm
|
||||||
{𝕊: Fail "Error: Fork died" ⋄ dm‿lm∧↩<dm≠¯1}⍟⊢ ∨´dm=¯1
|
{𝕊: Fail ∾⟨"Error: Fork processing ", •Repr (⊑(dm=¯1)/work).v.disp, " died"⟩ ⋄ dm‿lm∧↩<dm≠¯1}⍟⊢ ∨´dm=¯1
|
||||||
done ← dm/work
|
done ← dm/work
|
||||||
work ↩ lm/work
|
work ↩ lm/work
|
||||||
{
|
{
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user