# HG changeset patch
# User wenzelm
# Date 1535981738 -7200
# Node ID 58bf801d679a9edffe8913f1a36f43d915ac8850
# Parent  3cdde2ea2667911138f970b75b94c5b51badeebb# Parent  dce6cbd3cafc9e76ca41d282dced4dc71b7acee4
merged

diff -r 3cdde2ea2667 -r 58bf801d679a src/Pure/PIDE/document_status.scala
--- a/src/Pure/PIDE/document_status.scala	Mon Sep 03 13:32:29 2018 +0100
+++ b/src/Pure/PIDE/document_status.scala	Mon Sep 03 15:35:38 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)