(* $Id: netsys_pollset_win32.mli 1262 2009-08-31 18:14:21Z gerd $ *) (** Pollsets for Win32 *) open Netsys_pollset exception Too_many_descriptors val pollset : unit -> pollset (** This is a pollset implementation that works for - sockets, and - named pipes as provided by {!Netsys_win32} (add the descriptors returned by [pipe_descr] or [pipe_server_descr] to the pollset) The number of descriptors that can be added to the pollset has a quite low limit (usually 63 sockets or 31 pipes). If the number is exceeded the exception [Too_many_descriptors] is raised (by [add]). POLLERR, POLLHUP, and POLLNVAL are not detected by this impl. *) val threaded_pollset : unit -> pollset (** This implementation overcomes the limit on the number of descriptors one can add to the set. It is, however, only available for multi-threaded programs, because it uses helper threads. *) module Debug : sig val enable : bool ref (** Enables {!Netlog}-style debugging of this module *) end