author | wenzelm |
Wed, 27 Jul 2022 13:17:32 +0200 | |
changeset 75710 | e174568d52d2 |
parent 75709 | a068fb7346ef |
child 75711 | 32d45952c12d |
--- a/src/Tools/VSCode/src/language_server.scala Wed Jul 27 13:13:59 2022 +0200 +++ b/src/Tools/VSCode/src/language_server.scala Wed Jul 27 13:17:32 2022 +0200 @@ -84,7 +84,7 @@ // prevent spurious garbage on the main protocol channel val orig_out = System.out try { - System.setOut(new PrintStream(new OutputStream { def write(n: Int): Unit = {} })) + System.setOut(new PrintStream(OutputStream.nullOutputStream())) server.start() } finally { System.setOut(orig_out) }