renderIPSpace: ignore non-existent eid error
authorAlexey Andriyanov <alan@al-an.info>
Thu, 22 May 2014 14:33:35 +0000 (18:33 +0400)
committerAlexey Andriyanov <alan@al-an.info>
Thu, 22 May 2014 14:54:57 +0000 (18:54 +0400)
wwwroot/inc/interface.php

index 52d8250..dcdd9b5 100644 (file)
@@ -2587,8 +2587,15 @@ function renderIPSpace()
                                echo "collapsing all ($all / $auto)";
                        else
                        {
-                               $netinfo = spotEntity ($realm, $eid);
-                               echo "expanding ${netinfo['ip']}/${netinfo['mask']} ($auto / $all / $none)";
+                               try
+                               {
+                                       $netinfo = spotEntity ($realm, $eid);
+                                       echo "expanding ${netinfo['ip']}/${netinfo['mask']} ($auto / $all / $none)";
+                               }
+                               catch (EntityNotFoundException $e)
+                               {
+                                       // ignore invalid eid error
+                               }
                        }
                        echo "</h4><table class='widetable' border=0 cellpadding=5 cellspacing=0 align='center'>\n";
                        echo "<tr><th>prefix</th><th>name/tags</th><th>capacity</th>";