toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.virtualization.docker
/
DockerDaemonDispatcher
/
dockerRequestedResources
docker
Requested
Resources
val
Runner
.
dockerRequestedResources
:
DockerContext.RequestedSystemResources
Shortcut for obtaining the
DockerContext.RequestedSystemResources
of a
Runner
.