Plasma GitLab Archive
Projects Blog Knowledge

(* $Id: ssl_exts.ml 1745 2012-03-01 17:31:29Z gerd $ *)

exception Shutdown_error of Ssl.ssl_error

let _ =
  Callback.register_exception "ssl_exn_shutdown_error" 
    (Shutdown_error Ssl.Error_none)

external get_shutdown : Ssl.socket -> bool * bool = "equeue_ssl_get_shutdown"

external get_rbio_eof : Ssl.socket -> bool = "equeue_ssl_get_rbio_eof"

external single_shutdown : Ssl.socket -> unit = "equeue_ssl_single_shutdown"

type ssl_mode =
    { enable_partial_write : bool;
      accept_moving_write_buffer : bool;
      auto_retry : bool;
    }

external get_mode : Ssl.socket -> ssl_mode = "equeue_ssl_get_mode"

external set_mode : Ssl.socket -> ssl_mode -> unit = "equeue_ssl_set_mode"

let single_read = Ssl.read
let single_write = Ssl.write

external certificate_fingerprint : Ssl.certificate -> string
  = "equeue_ssl_cert_fingerprint"

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml