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