org.eclipse.emf.cdo.releng.promotion.admin/promotion/log_plain.php

<?php
ini_set('display_errors', true);

$logfile = "/tmp/promotion.emf.cdo/promoter.log";

//if (isset($_GET["delete"]))
//{
//	unlink($logfile);
//}

$logsize = file_exists($logfile) ? filesize($logfile) : 0;
$del = "";

//if ($logsize != 0)
//{
//	$del = '<a href="?delete" title="Delete log file"><img src="images/delete.gif"></a>';
//}

echo "<h3>Log Size: $logsize Bytes $del</h3>\n\n";

if ($logsize > 0)
{
	$content = file_get_contents($logfile);
	while (substr($content, 0, 1) == "\n")
	{
		$content = substr($content, 1);
	}

	$content = htmlspecialchars($content);
	$content = str_replace("\n", '<br>', $content);
	$content = str_replace(" ", '&nbsp;', $content);

	echo "<tt>\n\n";
	echo $content;
	echo "\n\n</tt>\n";
}

?>