PKI/5/GET_CRL_OK: Manually obtaining CRL [file_name] through [protocol] succeeded.
Manually obtaining a CRL succeeded.
file_name
Specifies the CRL file name.
protocol
Specifies the protocol type as HTTP.
A CRL was successfully obtained through the CLI.