src/Pure/Tools/server.scala

--- a/src/Pure/Tools/server.scala	Sun Dec 10 18:43:08 2017 +0100
+++ b/src/Pure/Tools/server.scala	Sun Dec 10 20:29:00 2017 +0100
@@ -134,11 +134,11 @@
 
       if (operation_list) {
         for (entry <- using(SQLite.open_database(Data.database))(list(_)) if entry.active)
-          Console.println(entry.print)
+          Output.writeln(entry.print, stdout = true)
       }
       else {
         val (entry, thread) = start(name, port)
-        Console.println(entry.print)
+        Output.writeln(entry.print, stdout = true)
         thread.foreach(_.join)
       }
     })