src/Pure/Tools/build_process.scala

--- a/src/Pure/Tools/build_process.scala	Thu Aug 17 19:01:40 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Thu Aug 17 20:06:24 2023 +0200
@@ -882,6 +882,7 @@
           val progress_db = store.open_build_database(Progress.private_data.database, server = server)
           val progress =
             new Database_Progress(progress_db, build_progress,
+              input_messages = build_context.master,
               output_stopped = build_context.master,
               hostname = hostname,
               context_uuid = build_uuid,