Fix ALTER SUBSCRIPTION grammar ambiguity

Peter Eisentraut <peter_e@gmx.net>

Commit: 9907b55ceb17f55bb508a1f24027a57530d84442
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2017-06-06T01:43:25Z
Releases: 10.0
Fix ALTER SUBSCRIPTION grammar ambiguity

There was a grammar ambiguity between SET PUBLICATION name REFRESH and
SET PUBLICATION SKIP REFRESH, because SKIP is not a reserved word.  To
resolve that, fold the refresh choice into the WITH options.  Refreshing
is the default now.

Reported-by: tushar <tushar.ahuja@enterprisedb.com>

Files

Documentation touched