Weirdness with python and stdin redirection under Win32

[Piet van Oostrum]

>>>>> Piet van Oostrum <piet at cs.uu.nl> (PvO) writes:

>>>>> bokr at oz.net (Bengt Richter) (BR) writes:

BR> The workaround is to invoke the interpreter explicitly, as in python foo.py
BR> (as you did) or to put that in a .cmd or .bat file and then use that file
BR> as the executable, and redirect i/o wrt to that.

PvO> There are also Windows versions where batch files have that same bug!!

I would like to add that a good solution is to use a special program like
PythonLauncher to create real (small) executables that in fact just call
the interpreter with the proper script name.
-- 
Piet van Oostrum <piet at cs.uu.nl>
URL: http://www.cs.uu.nl/~piet [PGP]
Private email: P.van.Oostrum at hccnet.nl