X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Fstream-ssl.c;h=6baf88ff17b59e41d899fd050d7e81621065e579;hb=75fca0a445ccecbf0b53a44024800860475acf2e;hp=b2a9f8453f61e59fd4d605c1a245023d2ea4120b;hpb=d98e60075528c3065ad453f7add4b30f22edcde3;p=openvswitch

diff --git a/lib/stream-ssl.c b/lib/stream-ssl.c
index b2a9f845..6baf88ff 100644
--- a/lib/stream-ssl.c
+++ b/lib/stream-ssl.c
@@ -47,6 +47,9 @@
 
 VLOG_DEFINE_THIS_MODULE(stream_ssl);
 
+COVERAGE_DEFINE(ssl_session);
+COVERAGE_DEFINE(ssl_session_reused);
+
 /* Active SSL. */
 
 enum ssl_state {
@@ -1288,7 +1291,7 @@ stream_ssl_set_ca_cert_file__(const char *file_name, bool bootstrap)
         for (i = 0; i < n_certs; i++) {
             /* SSL_CTX_add_client_CA makes a copy of the relevant data. */
             if (SSL_CTX_add_client_CA(ctx, certs[i]) != 1) {
-                VLOG_ERR("failed to add client certificate %d from %s: %s",
+                VLOG_ERR("failed to add client certificate %zu from %s: %s",
                          i, file_name,
                          ERR_error_string(ERR_get_error(), NULL));
             } else {