1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-27 12:41:57 +03:00

Rewrite maybe_reread_subscription() comment

One sentence was gramatically wrong, but also too terse.  Expand on it.
This commit is contained in:
Álvaro Herrera
2024-12-13 07:41:36 +01:00
parent fd41ba93e4
commit 3191eccd8a

View File

@ -3948,7 +3948,10 @@ apply_worker_exit(void)
}
/*
* Reread subscription info if needed. Most changes will be exit.
* Reread subscription info if needed.
*
* For significant changes, we react by exiting the current process; a new
* one will be launched afterwards if needed.
*/
void
maybe_reread_subscription(void)