« Previous | Next » 

Revision e5a15ced

IDe5a15ced017f8a44f3f6298ffe2e12a6952fc8e9
Parent c771b2d7
Child e09254ee, 7c920edc

Added by Bob Lantz almost 8 years ago

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

View differences