Hi, Bertrand Delacretaz schrieb: > On Thu, Dec 10, 2009 at 4:53 PM, Felix Meschberger <[email protected]> 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.
Yes, makes sense. Regards Felix > > -Bertrand >
