view share/lua/5.2/luarocks/refresh_cache.lua @ 2367:75116167989a

<Jafet> (echo \'#!/usr/bin/python\'; echo \'import random; w=[l.split() for l in open("/dev/stdin").read().split("\\n")]; r=[4,7,8,9,2,13,6]; print "\\n".join((lambda s: " ".join(chr(3) + str(r[(i+s)%len(r)]) + l[i] for i in range(len(l))))(random.randrange(0, len(r))))\') >$(which rainwords)
author HackBot
date Mon, 04 Mar 2013 10:36:29 +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