Socket.select as interrupted system call
Kostirya <[email protected]> Tue, 11 Dec 2018 14:19:49 +0200
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <CAG+QnTfy3B9qrNFBpmHGrthdfifsa16ee8MOU1-2QQgcCst_oQ@mail.gmail.com> |
Hello. I write net server and want make soft shutdown by POSIX signal. MLton do call Socket.select as interrupted call and OS.IO.poll as restarted call. I wonder why this is so. This behavior does not change in the future? I ask because, that Socket.select is wrapper on OS.IO.poll in SMLNJ. Nick. -- You received this message because you are subscribed to the Google Groups "MLton-user" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].