| commit | 2d83dd693901cb2588517d7296f1360d902c89f7 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Mon Aug 15 12:45:43 2022 -0600 |
| committer | Tom Tromey <tromey@adacore.com> | Tue Aug 30 11:49:48 2022 -0600 |
| tree | 32108cbc3abf6acf574a5b79fb0686aa446d8fe7 | |
| parent | dd083c6524f1e90dae19ed895b3f5eaf6228de68 [diff] |
Fix flush for sys.stderr GDB overwrites Python's sys.stdout and sys.stderr, but does not properly implement the 'flush' method -- it only ever will flush stdout. This patch fixes the bug. I couldn't find a straightforward way to write a test for this.