sys.stdout is not flushed

[Nobody]

On Mon, 23 Nov 2009 23:08:25 +0100, Diez B. Roggisch wrote:

> Try printing
> 
>    stdout.write('\r-->%d')

^M-->0^M-->1^M-->2^M-->3... ;)

But it's probably good enough for the OP's purposes.