diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-01-11 17:13:09 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-01-14 15:10:50 +0200 |
| commit | 423d101ca8ef75a7fbb238b902b8e1799ef50b9b (patch) | |
| tree | 1c01d28f9cc45a704f253e7738e1753da9fd96ad /loader/loader.cxx | |
| parent | a49149ba35d4fb138c7c325f506f658a475f847e (diff) | |
Support repository web interface relative locations
Diffstat (limited to 'loader/loader.cxx')
| -rw-r--r-- | loader/loader.cxx | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/loader/loader.cxx b/loader/loader.cxx index 994ec9a..591660c 100644 --- a/loader/loader.cxx +++ b/loader/loader.cxx @@ -411,10 +411,12 @@ load_repositories (const shared_ptr<repository>& rp, database& db) if (rm.effective_role () == repository_role::base) { + assert (rp->location.remote () && !rp->url); + + rp->url = rm.effective_url (rp->location); + // Update the base repository with manifest values. // - rp->url = move (rm.url); - // @@ Should we throw if url is not available for external repository ? // Can, basically, repository be available on the web but have no web // interface associated ? |