Less noisy pinging and shutting down

[hcoop/domtool2.git] / src / openssl.sig

diff --git a/src/openssl.sig b/src/openssl.sig
index 82cec65..2e027b9 100644 (file)
--- a/src/openssl.sig
+++ b/src/openssl.sig
@@ -39,9 +39,9 @@ val writeInt : bio * int -> unit
 val writeString' : bio * string -> unit
 val writeString : bio * string -> unit
 
-val context : string * string * string -> context
+val context : bool -> string * string * string -> context
 
-val connect : context * string -> bio
+val connect : bool -> context * string -> bio
 val close : bio -> unit
 
 val listen : context * int -> listener