webmcp
diff Makefile.options @ 489:42ddff7319e0
Avoid blocking of execute.command{...} if child process closes file descriptors but doesn't terminate
| author | jbe |
|---|---|
| date | Sun Jun 18 01:58:25 2017 +0200 (2017-06-18) |
| parents | dd6ef55cd59d |
| children | d0104bb90ede |
line diff