| commit | 4e7203855e4afa4ff1f33af8f647d768d26bd97c | [log] [tgz] |
|---|---|---|
| author | Just van Rossum <just@letterror.com> | Mon Feb 04 11:53:53 2002 +0000 |
| committer | Just van Rossum <just@letterror.com> | Mon Feb 04 11:53:53 2002 +0000 |
| tree | dbc541e7b62821e6506d0937df307e58fa16b8ae | |
| parent | 2dcec0c86d567ced8b930bec09e067d7cf68e6e3 [diff] |
Flush screen buffer upon console.flush() and output.flush(). This fixes bug #511992.