equal
deleted
inserted
replaced
73 except: # re-raises |
73 except: # re-raises |
74 ctypes.windll.kernel32.CloseHandle(handle) # no _check, keep error |
74 ctypes.windll.kernel32.CloseHandle(handle) # no _check, keep error |
75 raise |
75 raise |
76 _check(ctypes.windll.kernel32.CloseHandle(handle)) |
76 _check(ctypes.windll.kernel32.CloseHandle(handle)) |
77 |
77 |
78 |
|
79 else: |
78 else: |
80 |
79 |
81 def kill(pid, logfn, tryhard=True): |
80 def kill(pid, logfn, tryhard=True): |
82 try: |
81 try: |
83 os.kill(pid, 0) |
82 os.kill(pid, 0) |