diff options
| author | Enrico Tassi | 2015-10-05 18:39:06 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-10-08 09:51:13 +0200 |
| commit | 188ab7f76459ab46e0ea139da8b4331d958c7102 (patch) | |
| tree | 0f2e7de5326e7f53d9a4a422b4b722317ffbf6d4 /lib/cThread.ml | |
| parent | f7e9e6428842dd80549a0dcd20bf872c2dd7fa8c (diff) | |
Spawn: use each socket exclusively for writing or reading
According to http://caml.inria.fr/mantis/view.php?id=5325
you can't use the same socket for both writing and reading.
The result is lockups (may be fixed in 4.03).
Diffstat (limited to 'lib/cThread.ml')
0 files changed, 0 insertions, 0 deletions