src/Pure/PIDE/prover.scala

--- a/src/Pure/PIDE/prover.scala	Sat Feb 11 14:24:20 2023 +0100
+++ b/src/Pure/PIDE/prover.scala	Sat Feb 11 16:38:29 2023 +0100
@@ -138,7 +138,7 @@
       terminate_process()
       process_result.join
       stdout.join
-      exit_message(Process_Result(127))
+      exit_message(Process_Result.startup_failure)
     }
     else {
       val (command_stream, message_stream) = channel.rendezvous()