redis-daemon/dev.ust.zinc.grader.daemon/MessagingManager/pushToGrader

pushToGrader

suspend fun pushToGrader(jobMessage: JobMessage)

Push jobs as jobMessage to Messenger.graderQueue