";
echo " | ";
echo "id."\">$server->name | ";
echo "".$server->server->num_users." | ";
$s = sinfo_conv_version_string($server);
echo "$s | ";
if (isset($server->server->uplink))
echo "".$server->server->uplink." | ";
else
echo " | "; /* self */
echo "".$server->server->boot_time." | ";
}
?>