« Previous | Next » 

Revision 7c1d7c9f

ID7c1d7c9f90951b0d775c0d61909e5b1e61112341
Parent 345bf7cc
Child 1095628b

Added by Brandon Heller about 11 years ago

Don't attempt to kill processes twice

Was causing OSErrors because the process to kill no longer existed.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences