diff --git a/tljh/config_schema.py b/tljh/config_schema.py index 0b12c8f..e6fb820 100644 --- a/tljh/config_schema.py +++ b/tljh/config_schema.py @@ -79,7 +79,23 @@ config_schema = { "description": "User CPU and memory limits.", "type": "object", "additionalProperties": False, - "properties": {"memory": {"type": "string"}, "cpu": {"type": "integer"}}, + "properties": {"memory": {"type": "string"}, "cpu": { + "oneOf": [ + { + "type": "integer", + "minimum": 0 + }, + { + "type": "number", + "minimum": 0 + }, + { + "type": "string", + "enum": ["None"] + } + ] + } + }, }, "UserEnvironment": { "type": "object",