Re: Socket.select as interrupted system call
Matthew Fluet <[email protected]> Tue, 11 Dec 2018 10:07:38 -0500
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <CAMrhFL5=V4d9jwKpwowoW+1mzAGiKRsXCmOTAJDQPpPTH3SgXg@mail.gmail.com> |
On Tue, Dec 11, 2018 at 7:20 AM Kostirya <[email protected]> wrote: > 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. I agree that this seems inconsistent. I doubt that there was any deep rationalization when they were implemented in the Basis Library. Which do you think is the more reasonable default? I would guess that *not* restarting is the right behavior, so perhaps `poll` should be changed. -Matthew -- 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].