diff options
author | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2012-06-25 12:00:44 +0000 |
---|---|---|
committer | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2012-06-25 12:00:44 +0000 |
commit | 8055158a17ea1cd836bb3447625e7f629c1199e4 (patch) | |
tree | eb2e31c02b1bf4303c0e58ff27b47fe3e1769132 /otherlibs/win32unix/unixsupport.h | |
parent | 0e9c989e177dcc53a12ba8f111870b93c7863b90 (diff) |
Fix ENOMEM error on Windows when reading from terminal
On Windows, an error ENOMEM is returned when reading more than ~ 24 kB a
file descriptor attached to the terminal. This patch fixes this problem by
retrying to read a smaller amount of data (16kB), only on Windows.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12640 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/unixsupport.h')
0 files changed, 0 insertions, 0 deletions