redis: use millisecond duration