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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions