pgsql: Restart BackgroundPsql's timer more nicely.
Restart BackgroundPsql's timer more nicely.
Use BackgroundPsql's published API for automatically restarting
its timer for each query, rather than manually reaching into it
to achieve the same thing.
010_tab_completion.pl's logic for this predates the invention
of BackgroundPsql (and 664d75753 missed the opportunity to
make it cleaner). 030_pager.pl copied-and-pasted the code.
Author: Daniel Gustafsson <daniel@yesql.se>
Reviewed-by: Heikki Linnakangas <hlinnaka@iki.fi>
Reviewed-by: Andrew Dunstan <andrew@dunslane.net>
Reviewed-by: Tom Lane <tgl@sss.pgh.pa.us>
Discussion: /messages/by-id/1100715.1712265845@sss.pgh.pa.us
Branch
------
master
Details
-------
https://git.postgresql.org/pg/commitdiff/53c6bd0aa3de58baf828e60c6c8934d0a10a8501
Modified Files
--------------
src/bin/psql/t/010_tab_completion.pl | 7 +++----
src/bin/psql/t/030_pager.pl | 7 +++----
2 files changed, 6 insertions(+), 8 deletions(-)