| commit | e29f119659cd4be489a7bb6e53fcdb72ed6aee07 | |
| author | malc <av1474@comtv.ru> | |
| Wed, 14 Jan 2015 21:21:15 +0000 (15 00:21 +0300) | ||
| committer | malc <av1474@comtv.ru> | |
| Wed, 14 Jan 2015 21:21:15 +0000 (15 00:21 +0300) | ||
| tree | a73fcd1829832207c2e4773dd4d503b185982388 | treesnapshot (tar.gz zip) |
| parent | 1be0935ee31af4325158d2c4eb9c3a40f99826af | commitdiff |
Ugly kludge
Only works because waitpid is the last thing close_process_in does and
even though it probably was this way forever (and will stay so) there
must be a better way to achieve the desired goal.
Only works because waitpid is the last thing close_process_in does and
even though it probably was this way forever (and will stay so) there
must be a better way to achieve the desired goal.
| main.ml | diffblobblamehistory |