From ffee1cf15c382f9da9432e6ed39832f57df4d3ee Mon Sep 17 00:00:00 2001 From: malc Date: Mon, 29 Oct 2012 15:42:01 +0400 Subject: [PATCH] Actually do something (die) when time allotted to catch X response elapses --- wsi.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wsi.ml b/wsi.ml index e947770..bba6a47 100644 --- a/wsi.ml +++ b/wsi.ml @@ -499,7 +499,7 @@ let syncsendwithrep sock secstowait s f = let rec readtillcompletion () = let r, _, _ = Unix.select [sock] [] [] (deadline -. now ()) in match r with - | [] -> readtillcompletion () + | [] -> error "didn't get X response in %f seconds, aborting" secstowait | _ -> readresp sock; if not !completed -- 2.11.4.GIT