> But, the problem with this was that wget honors
> the new robots.txt file which means wget refuses to pull it down.

wget should ignore the robots.txt with the option
-erobots=off

(or add the line robots=off in .wgetrc)

        Piero


---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@struts.apache.org
For additional commands, e-mail: dev-h...@struts.apache.org

Reply via email to