src/Pure/System/isabelle_process.scala
changeset 39524 59ebce09ce6e
parent 39523 d8971680b0fc
child 39525 72e949a0425b
     1.1 --- a/src/Pure/System/isabelle_process.scala	Sat Sep 18 21:10:07 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Sat Sep 18 21:33:56 2010 +0200
     1.3 @@ -163,7 +163,6 @@
     1.4            //{{{
     1.5            receive {
     1.6              case Input_Text(text) =>
     1.7 -              // FIXME echo input?!
     1.8                writer.write(text)
     1.9                writer.flush
    1.10              case Close =>
    1.11 @@ -365,5 +364,5 @@
    1.12    def input(name: String, args: String*): Unit =
    1.13      input_bytes(name, args.map(Standard_System.string_bytes): _*)
    1.14  
    1.15 -  def close(): Unit = command_input ! Close
    1.16 +  def close(): Unit = { standard_input ! Close; command_input ! Close }
    1.17  }