diff options
| author | Robert Norton | 2017-04-25 12:18:23 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-25 16:32:18 +0100 |
| commit | caf4a8f85c5b4a217f72d51dbad4dd95c0801881 (patch) | |
| tree | 18ec31e73534c1cec9cc6a54bbc55b0791738aa6 /src/process_file.ml | |
| parent | 2f61214f174f8f2aee598431c130223750a0e9a9 (diff) | |
Don't die if stdin gets closed (e.g. when running unit tests).
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions