Re: [HACKERS] Re: Create subscription with `create_slot=false` and incorrect slot name

2017-05-30 Thread Peter Eisentraut
On 5/29/17 22:26, Noah Misch wrote: > On Fri, May 26, 2017 at 05:05:37PM -0400, Peter Eisentraut wrote: >> On 5/25/17 19:16, Petr Jelinek wrote: The reported error is just one of many errors that can happen when DROP SUBSCRIPTION tries to drop the slot (doens't exist, still active, no >>>

[HACKERS] Re: Create subscription with `create_slot=false` and incorrect slot name

2017-05-29 Thread Noah Misch
On Fri, May 26, 2017 at 05:05:37PM -0400, Peter Eisentraut wrote: > On 5/25/17 19:16, Petr Jelinek wrote: > >> The reported error is just one of many errors that can happen when DROP > >> SUBSCRIPTION tries to drop the slot (doens't exist, still active, no > >> permission, etc.). We don't want to