Coqide: quote coqtop filename if necessary

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14045 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 3 deletions

diff --git a/ide/coq.ml b/ide/coq.ml
index 1d67e8ee7..064447549 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -51,7 +51,7 @@ let rec read_all_lines in_chan =
 
 let filter_coq_opts args =
   let argstr = String.concat " " (List.map Filename.quote args) in
-  let cmd = !Minilib.coqtop_path ^" -nois -filteropts " ^ argstr in
+  let cmd = Filename.quote !Minilib.coqtop_path ^" -nois -filteropts " ^ argstr in
   let oc,ic,ec = Unix.open_process_full cmd (Unix.environment ()) in
   let filtered_args = read_all_lines oc in
   let message = read_all_lines ec in
@@ -65,7 +65,7 @@ exception Coqtop_output of string list
 let check_connection args =
   try
     let argstr = String.concat " " (List.map Filename.quote args) in
-    let cmd = !Minilib.coqtop_path ^ " -batch " ^ argstr in
+    let cmd = Filename.quote !Minilib.coqtop_path ^ " -batch " ^ argstr in
     let ic = Unix.open_process_in cmd in
     let lines = read_all_lines ic in
     match Unix.close_process_in ic with
@@ -87,7 +87,7 @@ let check_connection args =
 let check_coqlib args =
   try
     let argstr = String.concat " " (List.map Filename.quote args) in
-    let cmd = !Minilib.coqtop_path ^ " " ^ argstr ^ " -where" in
+    let cmd = Filename.quote !Minilib.coqtop_path ^ " " ^ argstr ^ " -where" in
     let ic = Unix.open_process_in cmd in
     let lines = read_all_lines ic in
     match Unix.close_process_in ic with