Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Mirror module: mirror arbitrary locations #41
The mirror module /code/modules/mirror.xqm currently mirrors a parent collection. It would be a lot better if an arbitrary mirror collection (say /caches/compiled) could mirror any collection in the db (eg /data/original).