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 /infrastructure/m4/ac_cxx_namespaces.m4 | |
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 'infrastructure/m4/ac_cxx_namespaces.m4')
0 files changed, 0 insertions, 0 deletions