From 3c7903cc14f7841848477b1daecde4d27647b49c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=9D=8E=E9=80=9A=E6=B4=B2?= <zhangsongcui3371@sina.com>
Date: Sat, 9 Sep 2023 12:01:13 +0800
Subject: [PATCH] JsonSchema: add `processingTimeout`

---
 doc/json_schema.json | 5 +++++
 1 file changed, 5 insertions(+)

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