search for: bba2b6d

..._on_exit status_file; + let status_file = Filename.temp_file ~temp_dir:t.tmpdir "vbstat" ".txt" in let cmd = sprintf "%s --homedir %s %s%s --status-file %s %s" t.gpg t.gpghome diff --git a/builder/sigchecker.mli b/builder/sigchecker.mli index ac57072..bba2b6d 100644 --- a/builder/sigchecker.mli +++ b/builder/sigchecker.mli @@ -18,7 +18,7 @@ type t -val create : gpg:string -> gpgkey:Utils.gpgkey_type -> check_signature:bool -> t +val create : gpg:string -> gpgkey:Utils.gpgkey_type -> check_signature:bool -> tmpdir:string -> t...

..._on_exit status_file; + let status_file = Filename.temp_file ~temp_dir:t.tmpdir "vbstat" ".txt" in let cmd = sprintf "%s --homedir %s %s%s --status-file %s %s" t.gpg t.gpghome diff --git a/builder/sigchecker.mli b/builder/sigchecker.mli index ac57072..bba2b6d 100644 --- a/builder/sigchecker.mli +++ b/builder/sigchecker.mli @@ -18,7 +18,7 @@ type t -val create : gpg:string -> gpgkey:Utils.gpgkey_type -> check_signature:bool -> t +val create : gpg:string -> gpgkey:Utils.gpgkey_type -> check_signature:bool -> tmpdir:string -> t...

Add a new optional parameter for the Curl ADT, so temporary files can be created in a specified directory (which is supposed to be temporary, and disposed only when the application quits). --- mllib/curl.ml | 10 ++++++---- mllib/curl.mli | 2 +- 2 files changed, 7 insertions(+), 5 deletions(-) diff --git a/mllib/curl.ml b/mllib/curl.ml index 376406e..baa75ec 100644 --- a/mllib/curl.ml +++

Add a new optional parameter for the Curl ADT, so temporary files can be created in a specified directory (which is supposed to be temporary, and disposed only when the application quits). --- mllib/curl.ml | 16 +++++++++++----- mllib/curl.mli | 2 +- 2 files changed, 12 insertions(+), 6 deletions(-) diff --git a/mllib/curl.ml b/mllib/curl.ml index 376406e..7d07125 100644 --- a/mllib/curl.ml