Thanks. I have pushed these now with a few further small tweaks.

Sorry if it is not the right place.

Coverity has another resource leak alert.

trivial patch attached.

Thanks for checking. Pushed.

cheers

andrew

--
Andrew Dunstan
EDB: https://www.enterprisedb.com