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.
---
 lib/interface.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/interface.mli')

diff --git a/lib/interface.mli b/lib/interface.mli
index 8d250f8507..da09593ba9 100644
--- a/lib/interface.mli
+++ b/lib/interface.mli
@@ -133,6 +133,7 @@ type feedback_content =
   | ErrorMsg of Loc.t * string
   | InProgress of int
   | SlaveStatus of int * string
+  | ProcessingInMaster
 
 type feedback = {
   id : edit_or_state_id;
-- 
cgit v1.2.3