From b0f9754e0f9343e3655ab5e76f140dfd62f7fa42 Mon Sep 17 00:00:00 2001 From: Mariana Alanis Date: Mon, 13 Jun 2022 14:04:22 -0500 Subject: [PATCH] fix: add a better handling in case only worker crashes --- src/Lean/Server/Watchdog.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Lean/Server/Watchdog.lean b/src/Lean/Server/Watchdog.lean index 74edd7179d..e4e7192424 100644 --- a/src/Lean/Server/Watchdog.lean +++ b/src/Lean/Server/Watchdog.lean @@ -259,7 +259,7 @@ section ServerM else -- Worker crashed fw.errorPendingRequests o (if exitCode = 1 then ErrorCode.workerCrashed else ErrorCode.stackOverflow) - s!"Server process for {fw.doc.meta.uri} crashed, {if exitCode = 1 then "see stderr for exception" else "likely due to a stack overflow in user code"}." + s!"Server process for {fw.doc.meta.uri} crashed, {if exitCode = 1 then "see stderr for exception" else "likely due to a stack overflow or a bug"}." return WorkerEvent.crashed err loop let task ← IO.asTask (loop $ ←read) Task.Priority.dedicated