r4318 bugfix: undefined index in renderIPv4SpaceRecords

diff --git a/wwwroot/inc/interface.php b/wwwroot/inc/interface.php
index 8623cbc6329068a4549168d50863b28963d14e98..167e815657e06580a359a219d3a1b599eaf018a5 100644 (file)
--- a/wwwroot/inc/interface.php
+++ b/wwwroot/inc/interface.php
@@ -2088,7 +2088,7 @@ function renderIPv4SpaceRecords ($tree, $baseurl, $target = 0, $knight, $level =
                                $decor['symbolurl'] = $baseurl . ($item['parent_id'] ? "&eid=${item['parent_id']}" : '');
                        echo "<tr valign=top>";
                        if ($target == $item['id'] && isset ($_REQUEST['hl_net']))
-                               $decor['tdclass'] .= ' port_highlight';
+                               $decor['tdclass'] = 'port_highlight';
                        printIPNetInfoTDs ($item, $decor);
                        echo "<td class=tdcenter>";
                        if (getConfigVar ('IPV4_TREE_SHOW_USAGE') == 'yes')