<?php  
/** jjsrefresh.php
* refresh all pages in jjscms 
* by a chain of meta refresh elements 
* @author: Jens Schiffler
* @license http://www.gnu.org/licenses/gpl.html GNU General Public License
* @version 1.1
* 
*/
if (isset($_REQUEST['jjsrefreshindex']))
{
	global $WikiDir, $HTMLHeaderFmt, $PublishPrivateSection, $PublishPublicSection;
	$PageList =& $WikiDir->ls();
	$next = intval($_REQUEST['jjsrefreshindex']);
	$pause = max(0,intval($_REQUEST['jjsrefreshtimeout']));
	if ($next < count($PageList))
	{
		$pagename = $PageList[$next];
		$next++;
		$pageurl = FmtPageName('$PageUrl',$pagename);
		$elem = '<!-- ' . $PublishPrivateSection . ' --><meta http-equiv="Refresh" Content="'.$pause. '; URL='.$pageurl.'&jjsrefreshindex='.$next.'&jjsrefreshtimeout='. $pause	.'" /><!-- /' . $PublishPrivateSection . ' -->';
		$HTMLHeaderFmt['jjsrefresh'] = $elem;
	}	
	
}
?>