src/Pure/Tools/build.scala
changeset 65344 b99283eed13c
parent 65320 52861eebf58d
child 65359 9ca34f0407a9
equal deleted inserted replaced
65343:0a8e30a7b10e 65344:b99283eed13c
   140     override def exit() { result_error.cancel }
   140     override def exit() { result_error.cancel }
   141 
   141 
   142     private def build_session_finished(msg: Prover.Protocol_Output): Boolean =
   142     private def build_session_finished(msg: Prover.Protocol_Output): Boolean =
   143     {
   143     {
   144       val error_message =
   144       val error_message =
   145         try { Pretty.string_of(YXML.parse_body(Symbol.decode(msg.text))) }
   145         try { Pretty.string_of(Symbol.decode_yxml(msg.text)) }
   146         catch { case ERROR(msg) => msg }
   146         catch { case ERROR(msg) => msg }
   147       result_error.fulfill(error_message)
   147       result_error.fulfill(error_message)
   148       session.send_stop()
   148       session.send_stop()
   149       true
   149       true
   150     }
   150     }