很多时候,我们需要用到定时生成html页面的功能,原理简介:利用文件如index.html的最后修改时间和当前的时间做比较,当时间差超过一定间隔如2小时,则调用相关页面进行生成新页面。原始源代码如下。
PHP版本的的定时生成页面的:
<?php
$file = dirname(__FILE__).'/index.html';
$timex=time()-filemtime($file); //间隔时间,单位秒
if($timex>7200){ //间隔大于2小时,重新生成
echo "<script language=javascript src='crhtml.php'></script>";
}
?>