monkeytype/backend/redis-scripts/get-results.lua

19 lines
519 B
Lua
Raw Normal View History

local redis_call = redis.call
local leaderboard_scores_key, leaderboard_results_key = KEYS[1], KEYS[2]
local min_rank = tonumber(ARGV[1])
local max_rank = tonumber(ARGV[2])
local results = {}
local scores_in_range = redis_call('ZRANGE', leaderboard_scores_key, min_rank, max_rank, 'REV')
for _, user_id in ipairs(scores_in_range) do
local result_data = redis_call('HGET', leaderboard_results_key, user_id)
if (result_data ~= nil) then
results[#results + 1] = result_data
end
end
return results