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

deleteReserved

open suspend override fun deleteReserved(jobName: String)

Deletes job of jobName from graderReservedQueue