On 17/08/2020 16:59, Tom Lane wrote:
Heikki Linnakangas <hlinn...@iki.fi> writes:
Good point. Pushed a patch along those lines.
Uh ... you patched v12 but not v13?
Darn, I forgot it exists.
Also, I'd recommend that you NOT do this:
+ fprintf(stderr, (!finished && isatty(fileno(stderr))) ? "\r" : "\n");
as it breaks printf format verification in many/most compilers.
Ok. I pushed the same commit to v12 as to other branches now, to keep
them in sync. I'll go fix that as a separate commit. Thanks!
- Heikki
