diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-12-16 10:06:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-16 10:06:14 +0100 |
| commit | 75ed3d74e81b26dc07dba39982429e6d2ce00628 (patch) | |
| tree | b27b0260501b741067dc55e6768435025b07285f /doc/classes/HTTPRequest.xml | |
| parent | edd3ca45016a4ee8cc5f7c1108e1c71bfa2a86ab (diff) | |
| parent | 5912dd296487242b528836efc9dd045356ec3593 (diff) | |
Merge pull request #55747 from timothyqiu/editor-proxy
Add proxy support for the editor
Diffstat (limited to 'doc/classes/HTTPRequest.xml')
| -rw-r--r-- | doc/classes/HTTPRequest.xml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/doc/classes/HTTPRequest.xml b/doc/classes/HTTPRequest.xml index aaaf863c69..c92f751c60 100644 --- a/doc/classes/HTTPRequest.xml +++ b/doc/classes/HTTPRequest.xml @@ -208,6 +208,24 @@ Returns [constant OK] if request is successfully created. (Does not imply that the server has responded), [constant ERR_UNCONFIGURED] if not in the tree, [constant ERR_BUSY] if still processing previous request, [constant ERR_INVALID_PARAMETER] if given string is not a valid URL format, or [constant ERR_CANT_CONNECT] if not using thread and the [HTTPClient] cannot connect to host. </description> </method> + <method name="set_http_proxy"> + <return type="void" /> + <argument index="0" name="host" type="String" /> + <argument index="1" name="port" type="int" /> + <description> + Sets the proxy server for HTTP requests. + The proxy server is unset if [code]host[/code] is empty or [code]port[/code] is -1. + </description> + </method> + <method name="set_https_proxy"> + <return type="void" /> + <argument index="0" name="host" type="String" /> + <argument index="1" name="port" type="int" /> + <description> + Sets the proxy server for HTTPS requests. + The proxy server is unset if [code]host[/code] is empty or [code]port[/code] is -1. + </description> + </method> </methods> <members> <member name="accept_gzip" type="bool" setter="set_accept_gzip" getter="is_accepting_gzip" default="true"> |