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