| ");
  echo(" | " . $entry['date'] . "");
  $entry['hostname'] = shorthost($entry['hostname'], 20);
  if ($_GET['page'] != "device")
  {
    echo(" | ".generate_device_link($entry)."");
  }
  echo(" | " . $entry['program'] . " : 
      " . htmlspecialchars($entry['msg']) . " | ");
}
?> |