summaryrefslogtreecommitdiffstats
path: root/otherlibs/win32unix/unixsupport.h
diff options
context:
space:
mode:
authorFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>2012-06-25 12:00:44 +0000
committerFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>2012-06-25 12:00:44 +0000
commit8055158a17ea1cd836bb3447625e7f629c1199e4 (patch)
treeeb2e31c02b1bf4303c0e58ff27b47fe3e1769132 /otherlibs/win32unix/unixsupport.h
parent0e9c989e177dcc53a12ba8f111870b93c7863b90 (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