From a4355384effa75c4789e6ae0afb942206e985140 Mon Sep 17 00:00:00 2001 From: letouzey Date: Wed, 30 Mar 2011 07:18:55 +0000 Subject: Ide_slave: better handling of Ctrl-C - During input and output to coqide, we postpone Ctrl-C instead of ignoring them. For that we use Util.interrupt and Util.check_for_interrupt. - During evaluation of coqide requests, a Ctrl-C directly raises Sys.break, which is more reliable than waiting for the next Util.check_for_interrupt git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13939 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/coq.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ide') diff --git a/ide/coq.ml b/ide/coq.ml index 89129b8c3..aea560eed 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -119,7 +119,7 @@ let is_in_loadpath coqtop s = eval_call coqtop (Ide_intf.is_in_loadpath s) let raw_interp coqtop s = eval_call coqtop (Ide_intf.raw_interp s) -let interp coqtop b s = eval_call coqtop (Ide_intf.interp b s) +let interp coqtop b s = eval_call coqtop (Ide_intf.interp (b,s)) let rewind coqtop i = eval_call coqtop (Ide_intf.rewind i) -- cgit v1.2.3