Server gets client's CN
authorAdam Chlipala <adamc@hcoop.net>
Sun, 3 Sep 2006 03:36:50 +0000 (03:36 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 3 Sep 2006 03:36:50 +0000 (03:36 +0000)
openssl/openssl_sml.c
openssl/openssl_sml.h
src/main.sml
src/openssl.sig
src/openssl.sml

index 79e6195..c475c30 100644 (file)
@@ -240,3 +240,7 @@ const char *OpenSSL_SML_get_peer_name(SSL *ssl) {
 BIO *OpenSSL_SML_pop(BIO *b) {
   return BIO_pop(b);
 }
+
+BIO *OpenSSL_SML_next(BIO *b) {
+  return BIO_next(b);
+}
index d921bee..6b02579 100644 (file)
@@ -57,3 +57,4 @@ BIO *OpenSSL_SML_new_ssl(SSL_CTX *ctx);
 BIO *OpenSSL_SML_new_accept(SSL_CTX *ctx, char *port);
 
 BIO *OpenSSL_SML_pop(BIO *b);
+BIO *OpenSSL_SML_next(BIO *b);
index 58b9768..0e1e503 100644 (file)
@@ -172,7 +172,7 @@ fun service () =
                NONE => ()
              | SOME bio =>
                let
-                   (*val _ = print ("Subject: " ^ OpenSSL.peerCN bio ^ "\n")*)
+                   val _ = print ("Subject: " ^ OpenSSL.peerCN bio ^ "\n")
 
                    fun loop' () =
                        case OpenSSL.readOne bio of
index ef6403d..3179103 100644 (file)
@@ -42,6 +42,5 @@ val shutdown : listener -> unit
 val accept : listener -> bio option
 
 val peerCN : bio -> string
-val acceptPeerCN : bio -> string
 
 end
index ea91848..dd9fa7d 100644 (file)
@@ -197,6 +197,4 @@ fun peerCN bio =
            ZString.toML' subj
     end
 
-fun acceptPeerCN bio = peerCN (F_OpenSSL_SML_next.f' bio)
-
 end