From d32b4ffb24ced468a4913c045ec6971f7b424c45 Mon Sep 17 00:00:00 2001
From: Chris Lovett <clovett@microsoft.com>
Date: Wed, 15 Sep 2021 19:09:36 -0700
Subject: [PATCH] fix: make sure logs folder exists

---
 src/Lean/Server/Utils.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Lean/Server/Utils.lean b/src/Lean/Server/Utils.lean
index 63f2a5cbc2..f8fcc7e5bb 100644
--- a/src/Lean/Server/Utils.lean
+++ b/src/Lean/Server/Utils.lean
@@ -84,6 +84,7 @@ def maybeTee (fName : String) (isOut : Bool) (h : FS.Stream) : IO FS.Stream := d
   match (← IO.getEnv "LEAN_SERVER_LOG_DIR") with
   | none => pure h
   | some logDir =>
+    IO.FS.createDirAll logDir
     let hTee ← FS.Handle.mk (System.mkFilePath [logDir, fName]) FS.Mode.write true
     let hTee := FS.Stream.ofHandle hTee
     pure $ if isOut then