fix: accidental stdin inheritance in lake

leanprover · Jul 24, 2024 · bf5fa22 · bf5fa22
1 parent 798703c
commit bf5fa22
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/lake/Lake/Util/Proc.lean b/src/lake/Lake/Util/Proc.lean
@@ -57,6 +57,7 @@ def testProc (args : IO.Process.SpawnArgs) : BaseIO Bool :=
   EIO.catchExceptions (h := fun _ => pure false) do
     let child ← IO.Process.spawn {
       args with
+      stdin := IO.Process.Stdio.null
       stdout := IO.Process.Stdio.null
       stderr := IO.Process.Stdio.null
     }