diff options
author | Jakob Unterwurzacher | 2017-01-02 23:29:52 +0100 |
---|---|---|
committer | Jakob Unterwurzacher | 2017-01-02 23:29:52 +0100 |
commit | 53aedc378345f7dba5cdd0544b4aa60733505623 (patch) | |
tree | 5ac3241b3323610adecd648da347829cd63a8bf4 /tests/example_filesystems/v0.7-plaintextnames/abs | |
parent | 9be3d2c214b38db8cc1674c64d2b7fbfaad376bf (diff) |
main: disconnect from the controlling terminal
This prevents us from getting SIGINT when the user
kills the running script.
Diffstat (limited to 'tests/example_filesystems/v0.7-plaintextnames/abs')
0 files changed, 0 insertions, 0 deletions