");
// Stop shortening hostname. Issue #61
//$entry['hostname'] = shorthost($entry['hostname'], 20);
if ($vars['page'] != "device")
{
echo("| " . $entry['date'] . " | ");
echo("".generate_device_link($entry)." | ");
echo("" . $entry['program'] . " : " . htmlspecialchars($entry['msg']) . " | ");
} else {
echo("" . $entry['date'] . " " . $entry['program'] . " " . htmlspecialchars($entry['msg']) . " | ");
}
echo("");
}
?>