Thanks, patch applied. On Tue, Feb 20, 2018 at 12:30 PM, Harshal Dhumal < harshal.dhu...@enterprisedb.com> wrote:
> Hi, > > Please find patch to fix specified_version_number ValueError issue. > > Now we try to restore server details like server version number and > version string > from flask session in-case if there was a application restart. > > -- > *Harshal Dhumal* > *Sr. Software Engineer* > > EnterpriseDB India: http://www.enterprisedb.com > The Enterprise PostgreSQL Company > -- Dave Page Blog: http://pgsnake.blogspot.com Twitter: @pgsnake EnterpriseDB UK: http://www.enterprisedb.com The Enterprise PostgreSQL Company
