diff hgext/extdiff.py @ 4023:6ea8a3b805ee

Flush stderr after write. stderr can be buffered under win32 when redirected to a file, including stdout.
author Patrick Mezard <pmezard@gmail.com>
date Wed, 10 Jan 2007 20:35:27 +0100
parents 656e06eebda7
children 49237d6ae97d
line wrap: on
line diff