diff options
| author | Adriano Cordova <[email protected]> | 2024-12-04 00:05:16 -0300 |
|---|---|---|
| committer | Heinrich Schuchardt <[email protected]> | 2024-12-04 12:24:37 +0100 |
| commit | 9bab7d2a7c37b486ed6c368cfdfb42575ab112e4 (patch) | |
| tree | 0c0a7b87f9963d4cb93b15f6a2582ad33fbd4eef /doc/develop/bootstd/android.rst | |
| parent | dc7c8a2532925fa526ca6bd35b0519d5e3e97aed (diff) | |
net: wget: let wget_with_dns work with dns disabled
This was marked as TODO in the code:
- Enable use of wget_with_dns even if CMD_DNS is disabled if
the given uri has the ip address for the http server.
- Move the check for CMD_DNS inside wget_with_dns.
- Rename wget_with_dns to wget_do_request
Signed-off-by: Adriano Cordova <[email protected]>
Reviewed-by: Heinrich Schuchardt <[email protected]>
Reviewed-by: Jerome Forissier <[email protected]>
Diffstat (limited to 'doc/develop/bootstd/android.rst')
0 files changed, 0 insertions, 0 deletions