autoflush on/off

[Lele Gaifax]

Terry Reedy <tjreedy at udel.edu> writes:

> It looks like you should perhaps just forget about reopening and just
> use sys.stdout.flush(). This works fine even on IDLE.

As an alternative, can't you just use sys.stderr for printing such
feedback? sys.stderr is unbuffered by default...

ciao, lele.
-- 
nickname: Lele Gaifax | Quando vivrò di quello che ho pensato ieri
real: Emanuele Gaifas | comincerò ad aver paura di chi mi copia.
lele at metapensiero.it  |                 -- Fortunato Depero, 1929.