wget: print port# in 'Host' header, if different from 80

1 files changed, 9 insertions, 2 deletions

diff --git a/networking/wget.c b/networking/wget.c
index fbdbf62f6..bca66f822 100644
--- a/networking/wget.c
+++ b/networking/wget.c
@@ -272,8 +272,15 @@ int wget_main(int argc, char **argv)
                                 fprintf(sfp, "GET /%s HTTP/1.1\r\n", target.path);
                         }
 
-                        fprintf(sfp, "Host: %s\r\nUser-Agent: %s\r\n", target.host,
-                                user_agent);
+                        {
+                                const char *portstr = "";
+                                if (target.port != 80)
+                                        portstr = xasprintf(":%d", target.port);
+                                fprintf(sfp, "Host: %s%s\r\nUser-Agent: %s\r\n",
+                                        target.host, portstr, user_agent);
+                                if (ENABLE_FEATURE_CLEAN_UP && target.port != 80)
+                                        free((char*)portstr);
+                        }
 
 #if ENABLE_FEATURE_WGET_AUTHENTICATION
                         if (target.user) {