Skip to main content
deleted 8 characters in body
Source Link
Toby Speight
  • 81.7k
  • 14
  • 101
  • 308

Quite late but ...

I hadsaw the same problem withAbdallah found: Unix.Unix_error (Unix.EINTR, "select", "")

The bug disappear withThis can be fixed by using Unix.sleepf (OCaml version >= 4.03.0)  :

let minisleep (sec: float) = Unix.sleepf sec

Quite late but ...

I had the same problem with Unix.Unix_error (Unix.EINTR, "select", "")

The bug disappear with Unix.sleepf (OCaml version >= 4.03.0)  :

let minisleep (sec: float) = Unix.sleepf sec

I saw the same problem Abdallah found: Unix.Unix_error (Unix.EINTR, "select", "")

This can be fixed by using Unix.sleepf (OCaml version >= 4.03.0):

let minisleep (sec: float) = Unix.sleepf sec
Minor formatting
Source Link
Stephen Rauch
  • 4.2k
  • 12
  • 23
  • 36

Quite late but ...

I had the same problem with Unix.Unix_error (Unix.EINTR, "select", "")Unix.Unix_error (Unix.EINTR, "select", "")

The bug disappear with Unix.sleepf Unix.sleepf (OCaml version >= 4.03.0) :

    let minisleep (sec: float) = Unix.sleepf sec

Quite late but ...

I had the same problem with Unix.Unix_error (Unix.EINTR, "select", "")

The bug disappear with Unix.sleepf (OCaml version >= 4.03.0) :

    let minisleep (sec: float) = Unix.sleepf sec

Quite late but ...

I had the same problem with Unix.Unix_error (Unix.EINTR, "select", "")

The bug disappear with Unix.sleepf (OCaml version >= 4.03.0) :

let minisleep (sec: float) = Unix.sleepf sec
Source Link
Arno
  • 31
  • 1

Quite late but ...

I had the same problem with Unix.Unix_error (Unix.EINTR, "select", "")

The bug disappear with Unix.sleepf (OCaml version >= 4.03.0) :

    let minisleep (sec: float) = Unix.sleepf sec