src/Pure/Thy/thy_resources.scala
changeset 68962 50676b0ab970
parent 68959 d4223afddd47
child 68981 30daac7848b9
--- a/src/Pure/Thy/thy_resources.scala	Sun Sep 09 13:48:20 2018 +0200
+++ b/src/Pure/Thy/thy_resources.scala	Sun Sep 09 17:49:15 2018 +0200
@@ -270,9 +270,9 @@
                       (for {
                         (name, node_status) <- nodes_status1.present.iterator
                         if changed.nodes.contains(name) && !st.already_committed.isDefinedAt(name)
-                        percentage = Some(node_status.percentage)
-                        if percentage != st.nodes_status.get(name).map(_.percentage)
-                      } yield Progress.Theory(name.theory, percentage = percentage)).toList
+                        p1 = node_status.percentage
+                        if p1 > 0 && Some(p1) != st.nodes_status.get(name).map(_.percentage)
+                      } yield Progress.Theory(name.theory, percentage = Some(p1))).toList
 
                     (theory_progress, st.update(nodes_status1))
                   })