From 724734237987c6a5223aa6c6b6620f063d52ee3a Mon Sep 17 00:00:00 2001 From: malc Date: Fri, 16 Mar 2012 09:07:15 +0400 Subject: [PATCH] Do not close pipe twice --- main.ml | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/main.ml b/main.ml index 105eaf8..eaa86f5 100644 --- a/main.ml +++ b/main.ml @@ -5619,15 +5619,11 @@ let viewmouse button down x y mask = Ne.clo fd (fun msg -> dolog "%s close failed: %s" what msg) in - let docopysel r w = - copysel w opaque; - doclose "pipe/r" r; - G.postRedisplay "copysel" - in try popen conf.selcmd [r, 0; w, -1]; - docopysel r w; + copysel w opaque; doclose "pipe/r" r; + G.postRedisplay "copysel"; with exn -> dolog "can not exectute %S: %s" conf.selcmd (Printexc.to_string exn); -- 2.11.4.GIT