redis.properties 278 Bytes EditWeb IDE 1 2 3 4 5 6 7 8 9 10 11 # Redis common settings redis.ip.requesttimes=${redis.ip.requesttimes} # token redis.surl.host=${redis.surl.host} redis.surl.port=${redis.surl.port} # event redis.event.host=${redis.event.host} redis.event.port=${redis.event.port} redis.event.database=${redis.event.database}