> From: Hrvoje Niksic [mailto:[EMAIL PROTECTED]
> I don't think such a thing is necessary in practice, though; remember
> that even if you don't escape the dot, it still matches the (intended)
> dot, along with other characters.  So for quick&dirty usage not
> escaping dots will "just work", and those who want to be precise can
> escape them.

I agree. Just how often will there be problems in a single wget run due to
both some.domain.com and somedomain.com present (famous last words...)

Heiko

-- 
-- PREVINET S.p.A. www.previnet.it
-- Heiko Herold [EMAIL PROTECTED] [EMAIL PROTECTED]
-- +39-041-5907073 / +39-041-5917073 ph
-- +39-041-5907472 / +39-041-5917472 fax

Reply via email to