wget: fix --header to not append duplicate headers
authorBernhard Reutner-Fischer <rep.dot.nop@gmail.com>
Wed, 18 Feb 2015 19:41:02 +0000 (20:41 +0100)
committerDenys Vlasenko <vda.linux@googlemail.com>
Wed, 18 Feb 2015 19:41:02 +0000 (20:41 +0100)
commitd7bfee1edb551d3503c7b616702a73192ba069a9
treed7d6ecdf34ae5878147a07d2fd30bc65adcee95b
parent54e9585e106348d6f0129376171fab305ddc0e27
wget: fix --header to not append duplicate headers

function                                             old     new   delta
wget_main                                           2551    2715    +164
wget_user_headers                                      -      62     +62
------------------------------------------------------------------------------
(add/remove: 1/0 grow/shrink: 1/0 up/down: 226/0)             Total: 226 bytes

Signed-off-by: Bernhard Reutner-Fischer <rep.dot.nop@gmail.com>
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
networking/wget.c