src/Pure/Tools/server_commands.scala

--- a/src/Pure/Tools/server_commands.scala	Tue Mar 05 15:58:45 2024 +0100
+++ b/src/Pure/Tools/server_commands.scala	Tue Mar 05 16:06:06 2024 +0100
@@ -123,7 +123,7 @@
     def command(
       args: Args,
       progress: Progress = new Progress,
-      log: Logger = No_Logger
+      log: Logger = new Logger
     ) : (JSON.Object.T, (UUID.T, Headless.Session)) = {
       val (_, _, options, session_background) =
         try { Session_Build.command(args.build, progress = progress) }