From 7516c468528c83593fe4094db35502bc2cda94f8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 27 Jan 2014 17:41:37 +0100
Subject: STM: tell the user if the master is recomputing states validated by
 workers

When the worker fails, the master may need to recompute some states
the worker has already validates.  In this case they are colored
accordingly.
---
 ide/coqOps.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'ide')

diff --git a/ide/coqOps.ml b/ide/coqOps.ml
index be9075279b..347459a65f 100644
--- a/ide/coqOps.ml
+++ b/ide/coqOps.ml
@@ -348,6 +348,10 @@ object(self)
           remove_flag sentence `PROCESSING;
           remove_flag sentence `ERROR;
           self#mark_as_needed sentence
+      | ProcessingInMaster,  Some (id,sentence) ->
+          log "ProcessingInMaster" id;
+          add_flag sentence `PROCESSING;
+          self#mark_as_needed sentence
       | Incomplete, Some (id, sentence) ->
           log "Incomplete" id;
           add_flag sentence `INCOMPLETE;
-- 
cgit v1.2.3