diff --git a/doc/json_schema.json b/doc/json_schema.json index b07bd08fb..4151686dc 100644 --- a/doc/json_schema.json +++ b/doc/json_schema.json @@ -274,6 +274,11 @@ "type": "integer", "title": "Set the timeout (ms) for WMI queries, `-1` for no timeout. Windows only", "default": 5000 + }, + "processingTimeout": { + "type": "integer", + "title": "Set the timeout (ms) when waiting for child processes, `-1` for no timeout", + "default": 1000 } }, "additionalProperties": false