From: Alan <alan@roojs.com>
Date: Thu, 5 Oct 2023 07:43:18 +0000 (+0800)
Subject: dont assign server id if it's listed as not-pool
X-Git-Url: http://git.roojs.org/?p=Pman.Core;a=commitdiff_plain;h=51b1bec7f2551d8ef039dd27485199c4fc982f50

dont assign server id if it's listed as not-pool
---

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...