--- 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)