Thanks for the pointer!
Michael
On 24 Mar 2016, at 19:20, David Matthews <David.Matthews at prolingua.co.uk> wrote:
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 polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
________________________________
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.