src/Pure/System/isabelle_process.ML
changeset 71855 494704309099
parent 71853 ec14ef6dd09b
child 71859 60659474ed36
equal deleted inserted replaced
71854:ec84f542e411 71855:494704309099
   115     val _ = SHA1.test_samples ()
   115     val _ = SHA1.test_samples ()
   116       handle exn as Fail msg => (Output.physical_stderr (msg ^ "\n"); Exn.reraise exn);
   116       handle exn as Fail msg => (Output.physical_stderr (msg ^ "\n"); Exn.reraise exn);
   117 
   117 
   118     val _ = Output.physical_stderr Symbol.STX;
   118     val _ = Output.physical_stderr Symbol.STX;
   119 
   119 
   120     val _ = Context.put_generic_context NONE;
       
   121 
       
   122 
   120 
   123     (* streams *)
   121     (* streams *)
   124 
   122 
   125     val (in_stream, out_stream) = Socket_IO.open_streams address;
   123     val (in_stream, out_stream) = Socket_IO.open_streams address;
   126     val _ = Byte_Message.write_line out_stream password;
   124     val _ = Byte_Message.write_line out_stream password;