--- a/src/Pure/PIDE/protocol.scala Thu Aug 30 15:22:21 2012 +0200
+++ b/src/Pure/PIDE/protocol.scala Thu Aug 30 15:26:37 2012 +0200
@@ -65,13 +65,14 @@
val command_status_markup: Set[String] =
Set(Isabelle_Markup.ACCEPTED, Isabelle_Markup.FINISHED, Isabelle_Markup.FAILED,
- Isabelle_Markup.FORKED, Isabelle_Markup.JOINED)
+ Isabelle_Markup.FORKED, Isabelle_Markup.JOINED, Isabelle_Markup.CANCELLED)
def command_status(status: Status, markup: Markup): Status =
markup match {
case Markup(Isabelle_Markup.ACCEPTED, _) => status.copy(accepted = true)
case Markup(Isabelle_Markup.FINISHED, _) => status.copy(finished = true)
case Markup(Isabelle_Markup.FAILED, _) => status.copy(failed = true)
+ case Markup(Isabelle_Markup.CANCELLED, _) => status.copy(failed = true)
case Markup(Isabelle_Markup.FORKED, _) => status.copy(forks = status.forks + 1)
case Markup(Isabelle_Markup.JOINED, _) => status.copy(forks = status.forks - 1)
case _ => status