Re: [Pki-users] Using a different directory server