stdout not flushed before os.execvp()

[Fredrik Lundh]

Thomas Guettler wrote:

> Is this a bug or feature?

feature.  the "exec" system call operates on a lower level than the 
stdio buffering system.

</F>