[Python-de] raw stdio unter Windows?

Kurze Frage, weil ich keine Windowskiste habe und schon gar nicht mit Python drauf: Funktioniert dieser Code (und produziert eine 4 Bytes lange Datei, wenn man die Ausgabe in eine solche umleitet) unter Windows? import sys from contextlib import contextmanager @contextmanager def maybe_open(filename, mode):     if filename is None:         if mode[-1] == "b":             yield sys.stdin.buffer.raw if mode[0] == "r" else sys.stdout.buffer.raw         else:             yield sys.stdin if mode == "r" else sys.stdout     else:         with open(filename, mode) as f:             yield f with maybe_open(None,"wb") as f:     f.write(b"ABC\x0A") -- -- mit freundlichen Grüßen -- -- Matthias Urlichs