diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-03-22 21:50:12 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-03-22 22:57:09 +0100 |
commit | 443eb4e9506026094f5e0dadc3e11d3cf7a86a24 (patch) | |
tree | 65aaa990b06517dcb1a1d5a89b2856f7ef78e460 /po | |
parent | ca534666aa18405c96f661fd108686f2ae72c9aa (diff) | |
download | guix-443eb4e9506026094f5e0dadc3e11d3cf7a86a24.tar.gz |
utils: 'filtered-port' doesn't leave dangling processes behind.
* guix/utils.scm (filtered-port): Make sure the 'execl' child process always exits, and does (primitive-_exit 1) upon execution failure. Use 'primitive-_exit' in the 'dump-port' child process. * tests/utils.scm ("filtered-port, does not exist"): New test.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions