Revision e5a15ced
ID | e5a15ced017f8a44f3f6298ffe2e12a6952fc8e9 |
Parent | c771b2d7 |
Child | e09254ee, 7c920edc |
Change popen() to detach from terminal/process group.
This may or may not be the right thing to do - an alternative
would be to ignore SIGINT, but that would make the popen()
job unkillable by normal means! So we'll try this and see
how well it works.
Fixes #124
Files
- added
- modified
- copied
- renamed
- deleted