You can use OS.IO.poll. You need to convert the Posix.FileSys.file_desc
values to OS.IO.iodesc values using Posix.FileSys.fdToIOD.
David
On 24/03/2016 00:48, Michael Norrish wrote:
I can see there is select for socket descriptors in the Socket
structure, but it doesn't appear as if there is one for file_descs in
the Posix structure. Am I right? Will my multiplexing
file-manipulator just have to busy loop over the descriptors I have?
Michael
________________________________
The information in this e-mail may be confidential and subject to
legal professional privilege and/or copyright. National ICT Australia
Limited accepts no liability for any damage caused by this email or
its attachments. _______________________________________________
polyml mailing list [email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
