On Mon, 19 Jun 2017, Daniel Stenberg wrote:
In curl 7.55.0 we finally introduce a way for users to send “OPTION *” and similar requests to servers.https://daniel.haxx.se/blog/2017/06/19/options-with-curl/
... I like the suggestion I got as a comment there, to instead allow this operation with a --request-target option (and of course the matching underlying libcurl option). So I've now filed a new PR and I'm interested in further input:
https://github.com/curl/curl/pull/1593 To me, --request-target is cleaner and easier to understand and document. -- / daniel.haxx.se
------------------------------------------------------------------- Unsubscribe: https://cool.haxx.se/list/listinfo/curl-library Etiquette: https://curl.haxx.se/mail/etiquette.html
