expose stderr, e.g. Multithreading.tracing;
authorwenzelm
Sun Dec 18 15:41:23 2016 +0100 (2016-12-18)
changeset 64598476e89d06272
parent 64597 1c252d8b6ca6
child 64599 80ef54198f44
expose stderr, e.g. Multithreading.tracing;
src/Pure/Tools/ml_console.scala
     1.1 --- a/src/Pure/Tools/ml_console.scala	Sun Dec 18 13:46:57 2016 +0100
     1.2 +++ b/src/Pure/Tools/ml_console.scala	Sun Dec 18 15:41:23 2016 +0100
     1.3 @@ -70,7 +70,7 @@
     1.4  
     1.5        // process loop
     1.6        val process =
     1.7 -        ML_Process(options, logic = logic, args = List("-i"), dirs = dirs,
     1.8 +        ML_Process(options, logic = logic, args = List("-i"), dirs = dirs, redirect = true,
     1.9            modes = if (raw_ml_system) Nil else modes ::: List("ASCII"),
    1.10            raw_ml_system = raw_ml_system, store = Sessions.store(system_mode))
    1.11        val process_output = Future.thread[Unit]("process_output") {