Module caching_url_manager

source code

This file implements a caching URL manager.

We locally cache selected files from the remote profile repository. If a profile is not found in the local cache, we retrieve it from the remote repository, and add it to the cache.

We check the remote repository for staleness and update the local cache in the background.