net: wget: let wget_with_dns work with dns disabled
authorAdriano Cordova <adrianox@gmail.com>
Wed, 4 Dec 2024 03:05:16 +0000 (00:05 -0300)
committerHeinrich Schuchardt <heinrich.schuchardt@canonical.com>
Wed, 4 Dec 2024 11:24:37 +0000 (12:24 +0100)
commit9bab7d2a7c37b486ed6c368cfdfb42575ab112e4
tree0c0a7b87f9963d4cb93b15f6a2582ad33fbd4eef
parentdc7c8a2532925fa526ca6bd35b0519d5e3e97aed
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 <adrianox@gmail.com>
Reviewed-by: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
Reviewed-by: Jerome Forissier <jerome.forissier@linaro.org>
include/net-common.h
lib/efi_loader/efi_bootmgr.c
net/lwip/wget.c
net/net-common.c
net/wget.c