equal
deleted
inserted
replaced
110 catch { |
110 catch { |
111 case exn @ ERROR(_) => system_output("Failed to terminate prover process: " + exn.getMessage) |
111 case exn @ ERROR(_) => system_output("Failed to terminate prover process: " + exn.getMessage) |
112 } |
112 } |
113 } |
113 } |
114 |
114 |
115 private val process_manager = Standard_Thread.fork(name = "process_manager") |
115 private val process_manager = Isabelle_Thread.fork(name = "process_manager") |
116 { |
116 { |
117 val stdout = physical_output(false) |
117 val stdout = physical_output(false) |
118 |
118 |
119 val (startup_failed, startup_errors) = |
119 val (startup_failed, startup_errors) = |
120 { |
120 { |
216 { |
216 { |
217 val (name, reader, markup) = |
217 val (name, reader, markup) = |
218 if (err) ("standard_error", process.stderr, Markup.STDERR) |
218 if (err) ("standard_error", process.stderr, Markup.STDERR) |
219 else ("standard_output", process.stdout, Markup.STDOUT) |
219 else ("standard_output", process.stdout, Markup.STDOUT) |
220 |
220 |
221 Standard_Thread.fork(name = name) { |
221 Isabelle_Thread.fork(name = name) { |
222 try { |
222 try { |
223 var result = new StringBuilder(100) |
223 var result = new StringBuilder(100) |
224 var finished = false |
224 var finished = false |
225 while (!finished) { |
225 while (!finished) { |
226 //{{{ |
226 //{{{ |
254 { |
254 { |
255 class EOF extends Exception |
255 class EOF extends Exception |
256 class Protocol_Error(msg: String) extends Exception(msg) |
256 class Protocol_Error(msg: String) extends Exception(msg) |
257 |
257 |
258 val name = "message_output" |
258 val name = "message_output" |
259 Standard_Thread.fork(name = name) { |
259 Isabelle_Thread.fork(name = name) { |
260 val default_buffer = new Array[Byte](65536) |
260 val default_buffer = new Array[Byte](65536) |
261 var c = -1 |
261 var c = -1 |
262 |
262 |
263 def read_int(): Int = |
263 def read_int(): Int = |
264 //{{{ |
264 //{{{ |