CoqIDE: when coqtop misbehaves kill it properly (no zombie)

1 files changed, 2 insertions, 0 deletions

diff --git a/ide/coq.ml b/ide/coq.ml
index fe17c20a4f..a7535bfabd 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