« Previous | Next » 

Revision e5a15ced

Parent c771b2d7
Child e09254ee, 7c920edc

Added by Bob Lantz about 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


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences