common/dev.ust.zinc.grader.model/Configuration/Redis/port

port

val port: Int

The port number of the Redis host.