Changeset 1375

Timestamp:

2000-08-08T16:41:43+12:00 (24 years ago)

Author:

paynter

Message:

mirror.pl is given the name of a collection that is a mirror of
a web site, and updates the mirror. It looks for a w3mirror
configuration file in etc/w3mir.cfg and builds the mirror in
the import directory.

File:

• trunk/gsdl/bin/script/mirror.pl (added)