webmcp
diff .hgtags @ 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 | d68098219642 |
children | bde63bbbf24a |
line diff