From c4e27709607bd8dc4945df273ef274a8ecd569d2 Mon Sep 17 00:00:00 2001
From: GitHub Actions <actions@github.com>
Date: Mon, 8 May 2023 08:00:47 +0000
Subject: [PATCH] Update JSON Schema

---
 resources/schema.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/schema.json b/resources/schema.json
index 601bd37e..f0048975 100644
--- a/resources/schema.json
+++ b/resources/schema.json
@@ -296,7 +296,7 @@
         "pid": {
           "type": "string",
           "title": "PID File",
-          "description": "The PID file of the EaseProbe instance ('-' means no PID file)"
+          "description": "The PID file of the EaseProbe instance ('' or '-' means no PID file)"
         },
         "log": {
           "$ref": "#/$defs/conf_Log",