Re: [mkgmap-dev] Commit: r3597: corrections for process-exits option