Misunderstanding buffering - flushing isn't

[Skip Montanaro]

On Wed, Nov 5, 2014 at 10:44 AM, Skip Montanaro
<skip.montanaro at gmail.com> wrote:
> I figured everything would be flushed to the respective .stdout and
> .stderr files at the end of every request, but that appears not to be
> the case.

I stand corrected. I added

        print ">> request finished"

to the end of do_GET (just before the flush() calls). I see that in
the output files after the request finishes. Maybe I was just
dreaming...

S