';
// 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 '';
}