| commit | 4abb5e89787c78db66ce7dbe5dc0c4b3f0deb4d1 | |
| author | malc <moosotc@gmail.com> | |
| Tue, 31 Jan 2017 12:20:38 +0000 (31 15:20 +0300) | ||
| committer | malc <moosotc@gmail.com> | |
| Tue, 31 Jan 2017 12:20:38 +0000 (31 15:20 +0300) | ||
| tree | 2cffbbb594f2a6dfc57195abbbdacaf98500011d | treesnapshot (tar.gz zip) |
| parent | 7f82ab821905abb341a8c4748495de13a781f070 | commitdiff |
Unify closure of the write end of the pipe
-1 in in (w,-1) spawn agument implies closure on the _child_ side.
-1 in in (w,-1) spawn agument implies closure on the _child_ side.
| main.ml | diffblobblamehistory |