dont assign server id if it's listed as not-pool
authorAlan <alan@roojs.com>
Thu, 5 Oct 2023 07:43:18 +0000 (15:43 +0800)
committerAlan <alan@roojs.com>
Thu, 5 Oct 2023 07:43:18 +0000 (15:43 +0800)
Notify.php

index 850a9df..44204c8 100644 (file)
@@ -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...