src/Pure/PIDE/byte_message.ML

 
 signature BYTE_MESSAGE =
 sig
   val write: BinIO.outstream -> string list -> unit
   val flush: BinIO.outstream -> unit
+  val write_line: BinIO.outstream -> string -> unit
   val read: BinIO.instream -> int -> string
   val read_block: BinIO.instream -> int -> string option * int
   val read_line: BinIO.instream -> string option
   val write_message: BinIO.outstream -> string list -> unit
   val read_message: BinIO.instream -> string list option

 (* output operations *)
 
 fun write stream = List.app (fn s => BinIO.output (stream, Byte.stringToBytes s));
 
 fun flush stream = ignore (try BinIO.flushOut stream);
+
+fun write_line stream s = (write stream [s, "\n"]; flush stream);
 
 
 (* input operations *)
 
 fun read stream n = Byte.bytesToString (BinIO.inputN (stream, n));