Thanks for the pointer! Michael
> On 24 Mar 2016, at 19:20, David Matthews <david.matth...@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@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. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml