[plug] wget query

[Greg Gamble]

Hi,

> ... it's not the only default value used. I know a system where 
> "/index.html" gets a different result from "/," at least for some
> users.
>
> Other defaults I've seen are index.htm and DEFAULT.HTM

At my current workplace "/" is resolved to "/home.html" by our
web-server ... which is a nuisance if you try to mirror a
web-site from elsewhere that has a different default and you've
liberally used hrefs with URLs ending in "/" ... my initial way
of getting around this was to add symbolic links home.html ->
index.html all over the place, only to find that when files were
copied from the internal to the external server all links got broken
:(

  Regards,
  Greg Gamble <gregg at maths.uwa.edu.au>