# HG changeset patch
# User wenzelm
# Date 1535979844 -7200
# Node ID dce6cbd3cafc9e76ca41d282dced4dc71b7acee4
# Parent  d9c051e9da2ba5fae849b5c37d60331b4ac7020a
proper polarity of terminated status;

diff -r d9c051e9da2b -r dce6cbd3cafc src/Pure/PIDE/document_status.scala
--- a/src/Pure/PIDE/document_status.scala	Sun Sep 02 23:55:25 2018 +0200
+++ b/src/Pure/PIDE/document_status.scala	Mon Sep 03 15:04:04 2018 +0200
@@ -114,7 +114,7 @@
       var failed = 0
       var finished = 0
       var canceled = false
-      var terminated = false
+      var terminated = true
       var finalized = false
       for (command <- node.commands.iterator) {
         val states = state.command_states(version, command)
@@ -127,7 +127,7 @@
         else unprocessed += 1
 
         if (status.is_canceled) canceled = true
-        if (status.is_terminated) terminated = true
+        if (!status.is_terminated) terminated = false
         if (status.is_finalized) finalized = true
       }
       val initialized = state.node_initialized(version, name)