wget: allow dots in header field names.
authorDenis Vlasenko <vda.linux@googlemail.com>
Mon, 24 Sep 2007 13:51:54 +0000 (13:51 -0000)
committerDenis Vlasenko <vda.linux@googlemail.com>
Mon, 24 Sep 2007 13:51:54 +0000 (13:51 -0000)
commit06783a51409e4245a54c751e426f1c5eaf117e39
tree3c7ed3938e68bc0313f18d1ba5f12be0fe311a70
parent512a545f0dfd0717694f8694398c1a811e70b607
wget: allow dots in header field names.
wget: code shrink

function                                             old     new   delta
gethdr                                               211     190     -21
wget_main                                           2609    2557     -52
------------------------------------------------------------------------------
(add/remove: 0/0 grow/shrink: 0/2 up/down: 0/-73)             Total: -73 bytes
networking/wget.c