Class MirrorCatalog

java.lang.Object
slash.navigation.download.tools.MirrorCatalog

public class MirrorCatalog extends Object
Mirrors every datasource that carries a <source> element by invoking wget with arguments synthesized from the source url / level / include / exclude data. Post-mirror cleanup deletes files in the mirror tree that match any <source><exclude> glob.
Author:
Christian Pesch