204
204
foreach ($servers as $server => &$srv) {
205
205
if (isset($_GET['group_info'])&&(($filter_server === false)||($filter_server == $server))) $show_mark = true;
208
209
$grp0 = $groups[$srv['groups'][$i++]];
209
210
} while ((is_numeric($grp0))&&(!$list[$grp0]['req']));
210
212
?><div class="source" <?= ($filter_server == $server)?"style=\"border: 2px solid pink;\"":""?>>
211
213
<h3> Server: <a href="index.php?page=cacheinfo.php&source_info&group_info&table_info&filter=<?=$server?>"><?=$server?></a><?