diff options
author | Peter Eisentraut | 2017-06-09 13:47:52 +0000 |
---|---|---|
committer | Peter Eisentraut | 2017-06-12 12:53:37 +0000 |
commit | ddd7b22b225ae41d16ceb218b387645cb9becfdc (patch) | |
tree | 7cb6883325edf9c7f05c8e9fb867f025d38d6476 /doc/src | |
parent | eab86897bd8cbeb21ae8959ca9a095ce7cb663df (diff) |
Stop table sync workers when subscription relation entry is removed
When a table sync worker is in waiting state and the subscription table
entry is removed because of a concurrent subscription refresh, the
worker could be left orphaned. To avoid that, explicitly stop the
worker when the pg_subscription_rel entry is removed.
Reported-by: Masahiko Sawada <[email protected]>
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions