src/Pure/Tools/build.scala
changeset 65220 420f55912b3e
parent 65219 ed4b47b8c7dc
child 65250 13a6c81534a8
     1.1 --- a/src/Pure/Tools/build.scala	Tue Mar 14 00:09:15 2017 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Tue Mar 14 00:13:38 2017 +0100
     1.3 @@ -806,6 +806,9 @@
     1.4    {
     1.5      private val pending = Synchronized(Map.empty[String, Promise[XML.Body]])
     1.6  
     1.7 +    override def exit(): Unit =
     1.8 +      pending.change(promises => { for ((_, promise) <- promises) promise.cancel; Map.empty })
     1.9 +
    1.10      def build_theories(
    1.11        session: Session, master_dir: Path, theories: List[(Options, List[Path])]): Promise[XML.Body] =
    1.12      {
    1.13 @@ -839,9 +842,6 @@
    1.14          case _ => false
    1.15        }
    1.16  
    1.17 -    override def exit(): Unit =
    1.18 -      pending.change(promises => { for ((_, promise) <- promises) promise.cancel; Map.empty })
    1.19 -
    1.20      val functions =
    1.21        List(
    1.22          Markup.BUILD_THEORIES_RESULT -> build_theories_result _,