Restart BackgroundPsql's timer more nicely.

Daniel Gustafsson <dgustafsson@postgresql.org>

Commit: 53c6bd0aa3de58baf828e60c6c8934d0a10a8501
Author: Daniel Gustafsson <dgustafsson@postgresql.org>
Date: 2026-02-13T10:36:31Z
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: https://postgr.es/m/1100715.1712265845@sss.pgh.pa.us

Files

PathChange+/−
src/bin/psql/t/010_tab_completion.pl modified +3 −4
src/bin/psql/t/030_pager.pl modified +3 −4

Discussion