From 8a180135842ff098e5c997d711061cf99864d671 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Fri, 11 Oct 2013 09:10:54 +0000
Subject: More comments in ide_slave

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16879 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/ide_slave.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/toplevel/ide_slave.ml b/toplevel/ide_slave.ml
index 88674545ff..fc0f4f22aa 100644
--- a/toplevel/ide_slave.ml
+++ b/toplevel/ide_slave.ml
@@ -346,7 +346,11 @@ let eval_call xml_oc log c =
   in
   Serialize.abstract_eval_call handler c
 
-(** Message dispatching. *)
+(** Message dispatching.
+    Since coqtop -ideslave -coq-slaves on starts 1 thread per slave, and each
+    thread forwards feedback messages from the slave to the GUI on the same
+    xml channel, we need mutual exclusion.  The mutex should be per-channel, but
+    here we only use 1 channel. *)
 let print_xml =
   let m = Mutex.create () in
   fun oc xml ->
-- 
cgit v1.2.3