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

timeout

val timeout: Duration

Adjustable timeout as the maximum time taken to process any job