From b36b370fbec946290e5b3d149d4d14a0db458cfa Mon Sep 17 00:00:00 2001
From: Denis Vlasenko <vda.linux@googlemail.com>
Date: Wed, 3 Jan 2007 22:09:26 +0000
Subject: [PATCH] wget: print port# in 'Host' header, if different from 80

---
 networking/wget.c | 11 +++++++++--
 1 file 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) {