diff win32.py @ 141:dfde0f5e0984

A couple of Win32 fixes Bug fix: win32.kill() no longer raises a fatal NameError. Bug fix: stderr is now flushed when exiting due to a keyboard interrupt.
author Oleg Oshmyan <chortos@inbox.lv>
date Tue, 24 May 2011 23:53:43 +0100
parents 388ae061c915
children 98bccf81db4d
line wrap: on
line diff
--- a/win32.py	Tue May 24 22:46:30 2011 +0100
+++ b/win32.py	Tue May 24 23:53:43 2011 +0100
@@ -8,7 +8,7 @@
 from ctypes import *
 from ctypes.wintypes import *
 from msvcrt import getch as pause
-import os, subprocess, sys
+import os, subprocess, sys, time
 
 try:
 	from _winreg import *