equal
deleted
inserted
replaced
297 win32file.SetEndOfFile(self.handle) |
297 win32file.SetEndOfFile(self.handle) |
298 except pywintypes.error, err: |
298 except pywintypes.error, err: |
299 raise WinIOError(err) |
299 raise WinIOError(err) |
300 |
300 |
301 getuser_fallback = win32api.GetUserName |
301 getuser_fallback = win32api.GetUserName |
|
302 |
|
303 def set_signal_handler(): |
|
304 """Register a termination handler for console events including |
|
305 CTRL+C. python signal handlers do not work well with socket |
|
306 operations. |
|
307 """ |
|
308 def handler(event): |
|
309 win32process.ExitProcess(1) |
|
310 win32api.SetConsoleCtrlHandler(handler) |