hi.
new patch attached.
I did some minor changes: polishing comments, updating commit messages, andfixing indentation.
--jianhttps://www.enterprisedb.com/