redis-daemon/dev.ust.zinc.grader.daemon.messengers/Redis/Companion

Companion

object Companion

Properties

val popScript: String

requeueReservedScript

val requeueReservedScript: String

val timeout: Duration

Adjustable timeout as the maximum time taken to process any job