From c08b210e5929efdc16a7fee56037e5f14b81e8b2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Mon, 17 Feb 2014 15:25:14 +0100
Subject: CoqIDE: when coqtop misbehaves kill it properly (no zombie)

---
 ide/coq.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'ide/coq.ml')

diff --git a/ide/coq.ml b/ide/coq.ml
index fe17c20a4..a7535bfab 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -409,6 +409,8 @@ let spawn_handle args respawner feedback_processor =
 let clear_handle h =
   if h.alive then begin
     (* invalidate the old handle *)
+    CoqTop.kill h.proc;
+    ignore(CoqTop.wait h.proc);
     h.alive <- false;
   end
 
-- 
cgit v1.2.3