add custom method variant for extended HTTP methods
Some checks failed
format / format (push) Has been cancelled
github pages / deploy (push) Has been cancelled
build / Build (push) Has been cancelled

close #26
This commit is contained in:
Simon Cruanes 2026-02-09 16:15:07 +00:00
parent 1c489f0097
commit 44a2b9f149
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 7 additions and 1 deletions

View file

@ -203,6 +203,7 @@ type meth =
| OPTIONS
| TRACE
| PATCH
| HTTP_CUSTOM of string
let string_of_meth = function
| GET -> "GET"
@ -214,6 +215,7 @@ let string_of_meth = function
| OPTIONS -> "OPTIONS"
| TRACE -> "TRACE"
| PATCH -> "PATCH"
| HTTP_CUSTOM s -> s
let pp_meth out m = Format.pp_print_string out (string_of_meth m)
@ -442,7 +444,10 @@ module Make (IO : IO) : S with type 'a io = 'a IO.t = struct
| HEAD -> Curl.set_customrequest self.curl "HEAD"
| CONNECT -> Curl.set_customrequest self.curl "CONNECT"
| OPTIONS -> Curl.set_customrequest self.curl "OPTIONS"
| TRACE -> Curl.set_customrequest self.curl "TRACE");
| TRACE -> Curl.set_customrequest self.curl "TRACE"
| HTTP_CUSTOM s ->
Curl.set_customrequest self.curl s;
if content <> None then Curl.set_upload self.curl true);
_set_headers self !headers;
Curl.set_headerfunction self.curl (fun s0 ->

View file

@ -114,6 +114,7 @@ type meth =
| OPTIONS
| TRACE
| PATCH
| HTTP_CUSTOM of string (** Custom HTTP method (e.g., for WebDAV) *)
val pp_meth : Format.formatter -> meth -> unit
val string_of_meth : meth -> string