diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-04-18 16:32:04 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-04-18 16:32:04 +0000 |
| commit | 96352de1def172cb93dd7b2209cf8cef758e5844 (patch) | |
| tree | cfb4a6ab19c2e61c1c26c03a90599b9e6ec2f117 /stdlib/array.ml | |
| parent | 395c7fab7993e810262e9d7bef6822230ba3d24e (diff) | |
Ajout de read/write avec timeout.
Ajout de l'attente sur la terminaison d'un process Unix.
threadIO: reimplementation des fonctions d'ecriture et de davantage de
fonctions de lecture.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@749 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/array.ml')
0 files changed, 0 insertions, 0 deletions