Hello wget developers,

Found a new bug in wget 1.8 beta:

wget.17 http://www.polscan.hg.pl/scans/[GmbH]_Scenery_9.csv
--21:39:00--  http://www.polscan.hg.pl/scans/%5BGmbH%5D_Scenery_9.csv
           => `[GmbH]_Scenery_9.csv'

wget.18 http://www.polscan.hg.pl/scans/[GmbH]_Scenery_9.csv
--21:40:51--  http://www.polscan.hg.pl/scans/%5BGmbH%5D_Scenery_9.csv
           => `%5BGmbH%5D_Scenery_9.csv'

And the local filename is indeed then %5BGmbH%5D_Scenery_9.csv

Regards,

Jochen Roderburg
ZAIK/RRZK
University of Cologne
Robert-Koch-Str. 10                    Tel.:   +49-221/478-7024
D-50931 Koeln                          E-Mail: [EMAIL PROTECTED]
Germany

Reply via email to