Changeset 372
- Timestamp:
- 06/30/08 08:55:57 (5 months ago)
- Files:
-
- trunk/tools/tools/downloader.d (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/tools/tools/downloader.d
r367 r372 18 18 if (addr.startsWith("REFER=")) { refer=addr[0..addr.find(" ")+1]; addr=addr[addr.find(" ")+1..$]; } 19 19 if (addr.startsWith("COOKIE=")) { cookie=addr[0..addr.find(" ")+1]; addr=addr[addr.find(" ")+1..$]; } 20 if (addr.startsWith("1.0 ")) { old_html=true; addr=addr[addr.find(" ")+1..$]; }20 if (addr.startsWith("1.0 ")) { old_html=true; addr=addr[addr.find(" ")+1..$]; } 21 21 22 22 addr=addr.replace("&", "&").replace(" ", "%20"); … … 34 34 if (!entry.length) continue; 35 35 auto sp = entry.split("="); 36 logln(" - ", sp); 36 37 tags[sp[0]] = (sp.length>1)?(sp[1..$].join("=")):""; 37 38 } 38 39 string prepend; 39 foreach (key, value; tags) prepend ~= key~"="~value~" ";40 foreach (key, value; tags) if (value.length) prepend ~= key~"="~value~" "; else prepend ~= key~" "; 40 41 41 42 if (auto rest = oldAddr.startsWith("http://")) oldAddr = rest;