Skip to content

feat: add queries to clean lost connections in PGCoordinator #10938

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Dec 1, 2023

Conversation

spikecurtis
Copy link
Contributor

Adds cleanup queries to clean out "lost" peer and tunnel state after 24 hours. We leave this state in the database so that anything trying to connect to the peer can see that it was lost, but clean it up after 24 hours to ensure our table doesn't grow without bounds.

@spikecurtis spikecurtis force-pushed the 11-29-feat_support_graceful_disconnect_in_PGCoordinator branch from a6dfa38 to 44ab030 Compare November 29, 2023 12:56
@spikecurtis spikecurtis force-pushed the spike/pg-coord-clean-lost branch from df25848 to 441797d Compare November 29, 2023 12:56
@spikecurtis spikecurtis force-pushed the 11-29-feat_support_graceful_disconnect_in_PGCoordinator branch from 44ab030 to a000e63 Compare November 30, 2023 08:23
@spikecurtis spikecurtis force-pushed the spike/pg-coord-clean-lost branch from 441797d to 3f8faba Compare November 30, 2023 08:23
Base automatically changed from 11-29-feat_support_graceful_disconnect_in_PGCoordinator to main December 1, 2023 05:55
Copy link
Contributor Author

spikecurtis commented Dec 1, 2023

Merge activity

  • Dec 1, 12:55 AM: @spikecurtis started a stack merge that includes this pull request via Graphite.
  • Dec 1, 12:56 AM: Graphite rebased this pull request as part of a merge.
  • Dec 1, 1:02 AM: @spikecurtis merged this pull request with Graphite.

@spikecurtis spikecurtis force-pushed the spike/pg-coord-clean-lost branch from 3f8faba to 1dd433d Compare December 1, 2023 05:56
@spikecurtis spikecurtis merged commit 571d358 into main Dec 1, 2023
@spikecurtis spikecurtis deleted the spike/pg-coord-clean-lost branch December 1, 2023 06:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants