Revision 7c1d7c9f
| ID | 7c1d7c9f90951b0d775c0d61909e5b1e61112341 |
| Parent | 345bf7cc |
| Child | 1095628b |
Don't attempt to kill processes twice
Was causing OSErrors because the process to kill no longer existed.
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 7c1d7c9f90951b0d775c0d61909e5b1e61112341 |
| Parent | 345bf7cc |
| Child | 1095628b |
Added by Brandon Heller almost 11 years ago
Don't attempt to kill processes twice
Was causing OSErrors because the process to kill no longer existed.