2 files changed, 17 insertions, 7 deletions

diff --git a/src/luarocks/cfg.lua b/src/luarocks/cfg.lua
index efe5de36..263af063 100644
--- a/src/luarocks/cfg.lua
+++ b/src/luarocks/cfg.lua
@@ -171,7 +171,10 @@ local defaults = {
    obj_extension = "unknown",
 
    rocks_servers = {
-      "http://www.luarocks.org/repositories/rocks"
+      {
+        "http://www.luarocks.org/repositories/rocks",
+        "http://luarocks.giga.puc-rio.br/"
+      }
    },
 
    lua_extension = "lua",
diff --git a/src/luarocks/search.lua b/src/luarocks/search.lua
index 5df2bd38..9c53632a 100644
--- a/src/luarocks/search.lua
+++ b/src/luarocks/search.lua
@@ -194,13 +194,20 @@ function search_repos(query)
 
    local results = {}
    for _, repo in ipairs(cfg.rocks_servers) do
-      local protocol, pathname = dir.split_url(repo)
-      if protocol == "file" then
-         repo = pathname
+      if type(repo) == "string" then
+         repo = { repo }
       end
-      local ok, err = manifest_search(results, repo, query)
-      if not ok then
-         util.warning("Failed searching manifest: "..err)
+      for _, mirror in ipairs(repo) do
+         local protocol, pathname = dir.split_url(mirror)
+         if protocol == "file" then
+            mirror = pathname
+         end
+         local ok, err = manifest_search(results, mirror, query)
+         if ok then
+            break
+         else
+            util.warning("Failed searching manifest: "..err)
+         end
       end
    end
    return results