redis-daemon/dev.ust.zinc.grader.daemon/Messenger/deleteReserved

deleteReserved

abstract suspend fun deleteReserved(jobName: String)

Deletes job of jobName from graderReservedQueue