[Pki-devel] [PATCH] Added fix for pki-server for db-update