Re: [Pki-devel] [PATCH] 544 Added server management library.