Update redis_util.h