runner-api/dev.ust.zinc.grader.util/CmdLang/exitCmd

exitCmd

abstract fun exitCmd(exitcode: String): String

Command for exiting with a given exitcode integer or expression.