(* $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"