BUG/MEDIUM: server: Wrong server default CRT filenames initialization.

This patch fixes a bug which came with 5e57643 commit where server
default CRT filenames were initialized to the same value as server
default CRL filenames.
1 file changed