"; echo "$date"; if ($with_tables) echo " | "; echo "$file"; if (!empty ($info)) echo " ($info)"; //echo ""; if ($with_tables) echo " | ";
$date = " ";
$line = trim ($line);
if (empty ($line)) $line=" ";
echo "$line";
if (!$with_tables) echo " "; $started = TRUE; $was_empty = FALSE; $was_not_empty = FALSE; } else if ($started) { $line = trim ($line); if (empty ($line)) { if ($was_not_empty) { $was_not_empty = FALSE; $was_empty = TRUE; } $line = " "; } else { if ($was_empty) { $was_empty = TRUE; echo " "; } $was_not_empty = TRUE; } echo "$line"; if (!$with_tables) echo " "; } } if ($with_tables) echo " |