From 51b1bec7f2551d8ef039dd27485199c4fc982f50 Mon Sep 17 00:00:00 2001
From: Alan <alan@roojs.com>
Date: Thu, 5 Oct 2023 15:43:18 +0800
Subject: [PATCH] dont assign server id if it's listed as not-pool

---
 Notify.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Notify.php b/Notify.php
index 850a9dfd..44204c8e 100644
--- a/Notify.php
+++ b/Notify.php
@@ -427,7 +427,12 @@ class Pman_Core_Notify extends Pman
             return;
         }
         
+        if (isset($ff->Core_Notify['servers-non-pool'][gethostname()])) {
+            return; 
+        }
+        
         if (!isset($ff->Core_Notify['servers'][gethostname()])) {
+            
             $this->jerr("Core_Notify['servers']['" . gethostname() ."'] is not set");
         }
         // only run this on the main server...
-- 
2.39.2