src/Pure/PIDE/protocol.scala
changeset 49009 15381ea111ec
parent 48864 3ee314ae1e0a
child 49036 4680c4046814
     1.1 --- a/src/Pure/PIDE/protocol.scala	Thu Aug 30 15:22:21 2012 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Thu Aug 30 15:26:37 2012 +0200
     1.3 @@ -65,13 +65,14 @@
     1.4  
     1.5    val command_status_markup: Set[String] =
     1.6      Set(Isabelle_Markup.ACCEPTED, Isabelle_Markup.FINISHED, Isabelle_Markup.FAILED,
     1.7 -      Isabelle_Markup.FORKED, Isabelle_Markup.JOINED)
     1.8 +      Isabelle_Markup.FORKED, Isabelle_Markup.JOINED, Isabelle_Markup.CANCELLED)
     1.9  
    1.10    def command_status(status: Status, markup: Markup): Status =
    1.11      markup match {
    1.12        case Markup(Isabelle_Markup.ACCEPTED, _) => status.copy(accepted = true)
    1.13        case Markup(Isabelle_Markup.FINISHED, _) => status.copy(finished = true)
    1.14        case Markup(Isabelle_Markup.FAILED, _) => status.copy(failed = true)
    1.15 +      case Markup(Isabelle_Markup.CANCELLED, _) => status.copy(failed = true)
    1.16        case Markup(Isabelle_Markup.FORKED, _) => status.copy(forks = status.forks + 1)
    1.17        case Markup(Isabelle_Markup.JOINED, _) => status.copy(forks = status.forks - 1)
    1.18        case _ => status