On Thu, Dec 10, 2009 at 5:35 PM, Alexander Klimetschek <[email protected]> wrote: > On Thu, Dec 10, 2009 at 17:06, Bertrand Delacretaz > <[email protected]> wrote: >> 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. > > There already exists such a web console plugin at > /system/console/jcrresolver which would just have to display this > path.
right, sounds like the right place to display that. -Bertrand
