Hi,,
New method sysSettings::Flush()
With this patch every server setting goes immediately in persistent storage.
At this moment it goes in persistent storage only when pgAdmin is
normally finished.
For other settings every third request will immediately put settings
in persistent storage.
Best regards
Vladimir Kokovic
Belgrade, Serbia, 6.October 2012