class poll_engine :?extra_match:exn -> bool -> (Unixqueue.operation * float) list -> Unixqueue.event_system ->
object
..end
`Done ev
, where
ev
is the corresponding event.
The argument list enumerates the operations to watch for. For every operation there may be a positive timeout value, or a negative number to indicate that no timeout is specified.
After one event has been caught, the engine terminates operation.
The method restart
can be called to activate it again (with the
same event condition, and the same notification list). See the
description of restart
for possible problems.
extra_match
: This function is called when an Extra
event is
found. If the function returns true
for the argument exception
of Extra
, the event is caught; otherwise it is rejected.method restart : unit -> unit
The notification lists are kept, but note that observers often
detach when final states are reached. This may cause problems.
method group : Unixqueue.group