1(*
2 * Copyright (C) 2014 Zheng Li <dev@zheng.li>
3 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU Lesser General Public License as published
6 * by the Free Software Foundation; version 2.1 only. with the special
7 * exception on linking described in file LICENSE.
8 *
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12 * GNU Lesser General Public License for more details.
13 *)
14
15
16(** Same interface and semantics as [Unix.select] but with an extra alternative
17    implementation based on poll. Switching implementations is done by calling
18     the [use_poll] function. *)
19val select:
20	Unix.file_descr list -> Unix.file_descr list -> Unix.file_descr list -> float
21	-> Unix.file_descr list * Unix.file_descr list * Unix.file_descr list
22
23(** [use_poll true] will use poll based select with max fds number limitation
24   eliminated; [use_poll false] will use standard [Unix.select] with max fd
25   number set to 1024; not calling this function at all equals to use the
26   standard [Unix.select] with max fd number setting untouched. *)
27val use_poll: bool -> unit
28