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

[Pman.Core] / Notify.php

diff --git a/Notify.php b/Notify.php
index 850a9df..44204c8 100644 (file)
--- 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...