« Previous | Next » 

Revision bad5adc7

IDbad5adc7738bbdd37766b3b22433cac1659ff65e
Parent 03a8b012
Child 07302197

Added by Bob Lantz almost 5 years ago

Change sendInt() to kill the process group

Note this will work with pid namespaces.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences