src/Pure/Build/build_job.scala

                 val nodes_status1 =
                   nodes_changed.foldLeft(nodes_status)({ case (status, state_id) =>
                     state.theory_snapshot(state_id, session.build_blobs) match {
                       case None => status
                       case Some(snapshot) =>
+                        Exn.Interrupt.expose()
                         status.update_node(snapshot.state, snapshot.version, snapshot.node_name,
                           threshold = editor_timing_threshold)
                     }
                   })
                 val result =