From: malc Date: Tue, 22 Jan 2013 10:21:02 +0000 (+0400) Subject: Shrug X-Git-Tag: v14~50 X-Git-Url: https://repo.or.cz/w/llpp.git/commitdiff_plain/8f77f79e24e99dbe6dc3e288446c3908bf2d949a Shrug --- diff --git a/main.ml b/main.ml index 15ded45..706bfdd 100644 --- a/main.ml +++ b/main.ml @@ -7152,7 +7152,7 @@ let () = else 0.0 in let r, _, _ = - try tempfailureretry (Unix.select r [] []) timeout + try Unix.select r [] [] timeout with Unix.Unix_error (Unix.EINTR, _, _) -> [], [], [] in begin match r with