[issue9611] FileIO not 64-bit safe under Windows
report at bugs.python.org
Thu Nov 4 21:02:00 CET 2010
Antoine Pitrou <pitrou at free.fr> added the comment:
> I propose a different solution: On Windows, instead of calling
> write(), we call WriteFile directly.
If I'm not mistaken, WriteFile takes the length as a DWORD, which is
still 32 bits under Win64.
Python tracker <report at bugs.python.org>
More information about the Python-bugs-list