diff options
| author | Chris Wilson <chris+github@qwirx.com> | 2008-12-16 17:37:08 +0000 |
|---|---|---|
| committer | Chris Wilson <chris+github@qwirx.com> | 2008-12-16 17:37:08 +0000 |
| commit | cd8ba14ab223ec91fc05045877fccaf818824d97 (patch) | |
| tree | 2c8274fb22130edea55952215903865d89a45096 /parcels.txt | |
| parent | 3077653386796225506c06c0d9db430903666309 (diff) | |
Fix process kill function, fixes [2402] [2404].
Delete stale PID files after killing processes on Windows, as that
fine OS doesn't give them a chance to clean up for themselves.
Diffstat (limited to 'parcels.txt')
0 files changed, 0 insertions, 0 deletions