-- connect to redis
local red = redis.new()
red:set_timeout(1000)
local ok, err = red:connect ("127.0.0.1", 6379)
local found = false
...
if not found then
table.insert(user["dev_list"], dev_id)
ngx.log(ngx.ERR, "--------- table.insert: " .. dev_id)
end
red:hset("USER_INFO", user_id, cjson.encode(user))
ngx.log(ngx.ERR, "--------- dev_list from db: " .. cjson.encode(usr_info["dev_list"]))
result["result"] = "ok"
-------------------------------------------------------
如上代码所示，同时推送三个ID，23，24，25，根据返回结果看，table.insert(...)已经正确执行，但是在获取dev_list的时候，最终结果，25被24覆盖了。
请教，这个问题如何解决？
查询redis的结果：
