30 lines
848 B
Diff
30 lines
848 B
Diff
From 84a198fadf78b9fbf27729030c0658f48fccec91 Mon Sep 17 00:00:00 2001
|
|
From: Romain Beauxis <toots@rastageeks.org>
|
|
Date: Sat, 8 Jul 2023 16:18:24 -0500
|
|
Subject: [PATCH] Export poll.
|
|
|
|
---
|
|
src/duppy.mli | 9 +++++++++
|
|
1 file changed, 9 insertions(+)
|
|
|
|
diff --git a/src/duppy.mli b/src/duppy.mli
|
|
index 88fb35c..480e050 100644
|
|
--- a/src/duppy.mli
|
|
+++ b/src/duppy.mli
|
|
@@ -67,6 +67,15 @@ val create :
|
|
unit ->
|
|
'a scheduler
|
|
|
|
+(** Internal polling function. Uses `Unix.select` on windows and
|
|
+ `poll` otherwise. *)
|
|
+val poll :
|
|
+ Unix.file_descr list ->
|
|
+ Unix.file_descr list ->
|
|
+ Unix.file_descr list ->
|
|
+ float ->
|
|
+ Unix.file_descr list * Unix.file_descr list * Unix.file_descr list
|
|
+
|
|
(** [queue ~log ~priorities s name]
|
|
* starts a queue, on the scheduler [s] only processing priorities [p]
|
|
* for which [priorities p] returns [true].
|