On Tue, Jul 8, 2014 at 9:02 PM, Niels Peen <niels at peen.ch> wrote: > I'm trying to provide different users with a different set of servers. > Can the user-profile setting be added to the list of options for the config-per-user config files? Sounds reasonable. I'll see to it. regards, Nikos