webmcp
diff framework/env/format/file_path_element.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 | a9fea293b2d6 |
| children |
line diff