Teal: convert luarocks.admin.cmd.refresh_cache

1 files changed, 10 insertions, 5 deletions

diff --git a/src/luarocks/admin/cmd/refresh_cache.lua b/src/luarocks/admin/cmd/refresh_cache.tl
index f8d51893..07480159 100644
--- a/src/luarocks/admin/cmd/refresh_cache.lua
+++ b/src/luarocks/admin/cmd/refresh_cache.tl
@@ -1,12 +1,17 @@
 
 --- Module implementing the luarocks-admin "refresh_cache" command.
-local refresh_cache = {}
+local record refresh_cache
+end
 
 local cfg = require("luarocks.core.cfg")
 local util = require("luarocks.util")
 local cache = require("luarocks.admin.cache")
 
-function refresh_cache.add_to_parser(parser)
+local type Parser = require("luarocks.vendor.argparse").Parser
+
+local type Args = require("luarocks.core.types.args").Args
+
+function refresh_cache.add_to_parser(parser: Parser)
    local cmd = parser:command("refresh_cache", "Refresh local cache of a remote rocks server.", util.see_also())
 
    cmd:option("--from", "The server to use. If not given, the default server "..
@@ -14,9 +19,9 @@ function refresh_cache.add_to_parser(parser)
       :argname("<server>")
 end
 
-function refresh_cache.command(args)
-   local server, upload_server = cache.get_upload_server(args.server)
-   if not server then return nil, upload_server end
+function refresh_cache.command(args: Args): boolean, string
+   local server, upload_server, err = cache.get_upload_server(args.server)
+   if not server then return nil, err end
    local download_url = cache.get_server_urls(server, upload_server)
 
    local ok, err = cache.refresh_local_cache(download_url, cfg.upload_user, cfg.upload_password)