equal
deleted
inserted
replaced
219 let |
219 let |
220 val _ = SHA1.test_samples (); |
220 val _ = SHA1.test_samples (); |
221 val _ = Options.load_default (); |
221 val _ = Options.load_default (); |
222 val _ = Isabelle_Process.init_options (); |
222 val _ = Isabelle_Process.init_options (); |
223 val args = decode_args (File.read (Path.explode args_file)); |
223 val args = decode_args (File.read (Path.explode args_file)); |
224 fun error_message msg = writeln ("\ferror_message = " ^ encode_lines msg); |
224 fun error_message msg = writeln ("\ferror_message = " ^ encode_lines (YXML.content_of msg)); |
225 val _ = |
225 val _ = |
226 Unsynchronized.setmp Private_Output.protocol_message_fn protocol_message |
226 Unsynchronized.setmp Private_Output.protocol_message_fn protocol_message |
227 build_session args |
227 build_session args |
228 handle exn => (List.app error_message (Runtime.exn_message_list exn); Exn.reraise exn); |
228 handle exn => (List.app error_message (Runtime.exn_message_list exn); Exn.reraise exn); |
229 val _ = Options.reset_default (); |
229 val _ = Options.reset_default (); |