webmcp
diff framework/bin/langtool.lua @ 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 | 92d9218140f7 |
| children | 2c31275322db |
line diff