Mercurial > repo
view share/lua/5.2/luarocks/refresh_cache.lua @ 7407:e0e71cf09064
<b_jonas> slashlearn Ravnica: City of Guilds/Ravnica: City of Guilds is a city of guilds. \xe2\x80\x9cCity of Guilds\xe2\x80\x9d is part of its name. The Wizards of the Coast Marketing Department: We Sell Anything thought players might not notice it was a City of Guilds unless they put the tagline into the name.
author | HackBot |
---|---|
date | Sun, 17 Apr 2016 19:29:46 +0000 |
parents | d137f631bad5 |
children |
line wrap: on
line source
--- Module implementing the luarocks-admin "refresh_cache" command. module("luarocks.refresh_cache", package.seeall) local util = require("luarocks.util") local cfg = require("luarocks.cfg") local cache = require("luarocks.cache") help_summary = "Refresh local cache of a remote rocks server." help_arguments = "[--from=<server>]" help = [[ The flag --from indicates which server to use. If not given, the default server set in the upload_server variable from the configuration file is used instead. ]] function run(...) local flags = util.parse_flags(...) local server, upload_server = cache.get_upload_server(flags["server"]) if not server then return nil, upload_server end local download_url = cache.get_server_urls(server, upload_server) local ok, err = cache.refresh_local_cache(server, download_url, cfg.upload_user, cfg.upload_password) if not ok then return nil, err else return true end end