Hi<br><br>On Saturday, April 16, 2016, Vladimir Koković &lt;<a href="mailto:vladimir.kokovic@gmail.com">vladimir.kokovic@gmail.com</a>&gt; wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
settings.sync() missing after the line 110<br></blockquote><div><br></div><div>Thanks - in theory it shouldn&#39;t be needed as it&#39;ll be called in the destructor and periodically in the event loop, but it doesn&#39;t hurt to save anyway.</div><div><br></div><div>Patch applied.</div><br><br>-- <br>Dave Page<br>Blog: <a href="http://pgsnake.blogspot.com" target="_blank">http://pgsnake.blogspot.com</a><br>Twitter: @pgsnake<br><br>EnterpriseDB UK: <a href="http://www.enterprisedb.com" target="_blank">http://www.enterprisedb.com</a><br>The Enterprise PostgreSQL Company<br><br>