On Fri, Jan 9, 2015 at 9:23 PM, Tatsuo Ishii <ishii(at)postgresql(dot)org> wrote:
> This is because gen_db_file_maps() allocates memory even if n_maps == 0.
Purely cosmetic: the initialization n_maps = 0 before the call of
gen_db_file_maps is unnecessary ;)
--
Michael