function write_entries($entries) { echo "<table>"; echo "<tr><th>Time</th><th>Type</th><th>Entity</th><th>Message</th><th>Judge host</th><th>User</th><th>IP</th></tr>"; foreach ($entries as $entry) { echo "<tr>"; echo "<td>" . format_date_compact($entry->time); echo "<td>" . htmlspecialchars(LogLevel::toString($entry->level)); echo "<td>" . ($entry->entity_path ? "<a href=\"index.php" . htmlspecialchars($entry->entity_path) . "\">" . $entry->entity_path . "</a>" : "-"); echo "<td>" . nl2br(htmlspecialchars($entry->message)); echo "<td>" . ($entry->judge_host ? htmlspecialchars($entry->judge_host) : '-'); echo "<td>" . ($entry->userid ? htmlspecialchars(User::by_id($entry->userid, false)->name_and_login()) : '-'); echo "<td>" . ($entry->ip ? htmlspecialchars($entry->ip) : '-'); echo "</tr>"; } echo "</table>"; }
private static function log_email($loglevel, $message, $entity_path = null, $judge_host = null) { if ($loglevel >= LOG_EMAIL_LEVEL) { $body = "Justitia produced a log entry.\n\n"; $body .= "Type entry: " . LogLevel::toString($loglevel) . "\n"; $body .= "Date: " . format_date(time()) . "\n"; if ($entity_path != null) { $body .= "Entity path: " . $entity_path . "\n"; } if ($judge_host != null) { $body .= "Judge host: " . $judge_host . "\n"; } if (self::userid() != null) { $body .= "User: "******"\n"; } if (self::ip() != null) { $body .= "IP address: " . self::ip() . "\n"; } $body .= "Message: " . $message . "\n"; mail(LOG_EMAIL_EMAIL_ADRESSES, "Justitia logging", $body); } }