# Redis common settings redis.ip.requesttimes=${redis.ip.requesttimes} # token redis.surl.host=${redis.surl.host} redis.surl.port=${redis.surl.port} redis.surl.database=${redis.surl.database} # event redis.event.host=${redis.event.host} redis.event.port=${redis.event.port} redis.event.database=${redis.event.database}