# HG changeset patch
# User Oleg Oshmyan <chortos@inbox.lv>
# Date 1306277623 -3600
# Node ID dfde0f5e098467d036b0d1a57c9d84a230ea8740
# Parent  388ae061c915fe226351d5ef0288d0e7b9bbaee8
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.

diff -r 388ae061c915 -r dfde0f5e0984 upreckon-vcs
--- a/upreckon-vcs	Tue May 24 22:46:30 2011 +0100
+++ b/upreckon-vcs	Tue May 24 23:53:43 2011 +0100
@@ -131,6 +131,7 @@
 		say('Grand total: %g/%g weighted points; %d/%d problems solved fully' % (realscore, maxscore, nfulltasks, ntasks))
 except KeyboardInterrupt:
 	say('Exiting due to a keyboard interrupt.', end='', file=sys.stderr)
+	sys.stderr.flush()
 	try:
 		import os, signal
 		signal.signal(signal.SIGINT, signal.SIG_DFL)
diff -r 388ae061c915 -r dfde0f5e0984 win32.py
--- 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 *