";
$rss = simplexml_load_file("$host/ele3/log?format=rss&mode=stop_on_copy&rev=$newrev&stop_rev=$myrev&format=rss&max=100&verbose=on#");
#$rss = simplexml_load_file("$host/ele3/log?action=follow_copy&mode=stop_on_copy&rev=$newrev&stop_rev=$myrev&limit=100&verbose=on#");
echo '
'. $rss->channel->title . '
';
foreach ($rss->channel->item as $item)
{
echo '
' . $item->title . "
";
#$str=preg_replace("--", "
--", $item->description );
$str=preg_replace('/\s\--/','
--',$item->description);
#$str=preg_replace("[^A-Za-z0-9\-]", "
", $item->description );
# $str=preg_replace('/\s\`echo "\040"`/','
--',$item->description);
# $str=htmlentities($item->description);
echo "
" . $str . "
";
}
echo "