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 <[email protected]> Reviewed-by: Heikki Linnakangas <[email protected]> Reviewed-by: Andrew Dunstan <[email protected]> Reviewed-by: Tom Lane <[email protected]> Discussion: https://postgr.es/m/[email protected] 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(-)
