'.basename(getcwd()).'';
echo '
';
include("$file_newsportal");
flush();
$newsgroups=groups_read($server,$port);
echo '';
if(isset($frames_on) && $frames_on === true) {
groups_show_frames($newsgroups);
} else {
groups_show($newsgroups);
}
echo '
';
$sessions_data = file_get_contents($spooldir.'/sessions.dat');
echo ''.$sessions_data.'
';
include "tail.inc";
?>