On Thu, Dec 10, 2009 at 4:53 PM, Felix Meschberger <fmesc...@gmail.com> wrote: > ...So, I will go for option (1): make the /etc/map location configurable....
Note that it would be good to be able to find the actual value used easily, for example via a console plugin and/or INFO log messages. -Bertrand