let (inchan, outchan) =
(Unix.in_channel_of_descr suck, Unix.out_channel_of_descr suck)
in
- (try callback inchan outchan with Timeout -> ());
+ (try
+ callback inchan outchan;
+ ignore (Unix.alarm 0)
+ with Timeout -> ());
close_out outchan (* this close also inchan, because socket is the same *)
done