view upreckon.cmd @ 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 bd3fc9017f91
children
line wrap: on
line source

@ start /b /wait python "%~dpn0" %*