wget: print port# in 'Host' header, if different from 80
authorDenis Vlasenko <vda.linux@googlemail.com>
Wed, 3 Jan 2007 22:09:26 +0000 (22:09 -0000)
committerDenis Vlasenko <vda.linux@googlemail.com>
Wed, 3 Jan 2007 22:09:26 +0000 (22:09 -0000)
commitb36b370fbec946290e5b3d149d4d14a0db458cfa
tree2400ee1c3f75fc2102fd47142a38c3c26476e620
parent562dc249e039878e927f8250c82507e6e844f547
wget: print port# in 'Host' header, if different from 80
networking/wget.c