--- a/src/Pure/PIDE/batch_session.scala Sat Mar 18 13:15:07 2017 +0100
+++ b/src/Pure/PIDE/batch_session.scala Sat Mar 18 14:12:38 2017 +0100
@@ -47,10 +47,8 @@
val theories = session_info.theories.map({ case (_, opts, thys) => (opts, thys) })
batch_session.build_theories_result =
Some(Build.build_theories(prover_session, master_dir, theories))
- case Session.Terminated(_) =>
- batch_session.session_result.fulfill_result(Exn.Exn(ERROR("Prover process terminated")))
- case Session.Shutdown =>
- batch_session.session_result.fulfill(())
+ case Session.Terminated(rc) =>
+ batch_session.session_result.fulfill(rc)
case _ =>
})
@@ -60,7 +58,7 @@
class Batch_Session private(val session: Session)
{
- val session_result = Future.promise[Unit]
+ val session_result = Future.promise[Int]
@volatile var build_theories_result: Option[Promise[XML.Body]] = None
}