ResourceOverRequestException
class ResourceOverRequestException(taskName: String?, requestedReservation: EnvContext.ResourceReservation, requestedFeatures: EnvContext.RequestedSystemResources) : GraderException
Exception indicating the requested resource reservation cannot be met by any currently online Docker engines.
Usually this exception is emitted when too much resource is requested, and no Docker engine can fulfill the request even when no resource is reserved.
Parameters
taskName
Name of the task which requested the resource reservation.
requestedReservation
The resource reservation requested by the task.
Constructors
Link copied to clipboard
constructor(taskName: String?, requestedReservation: EnvContext.ResourceReservation, requestedFeatures: EnvContext.RequestedSystemResources)
Functions
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard