Redis

data class Redis(val host: String, val _port: String) : ConfigVerifiable

Redis properties fields (redis.*).

Fields under the redis root namespace are properties which control how the Grader accesses Redis.

Fields in this namespace is only used when running the Grader in Daemon mode.

Constructors

Link copied to clipboard
constructor(host: String, _port: String)

Properties

Link copied to clipboard
private val _port: String
Link copied to clipboard

The URL to the Redis host.

Link copied to clipboard
val port: Int

The port number of the Redis host.

Functions

Link copied to clipboard
open fun verifyAll()

Verifies that the required constraints of this object is met.

Link copied to clipboard
open override fun verifyImpl()

Additional checks for verifying constraints on fields which do not implement ConfigVerifiable.