<?php
set_time_limit(0);
$files = array();

function find($adir){
  global $files;
  $dir = dir($adir);
  while(false !==($e=$dir->read())){
    if( $e[0]=='.'|| preg_match('/\.log$/',$e) )continue;
    $e=$adir.$e;
    if(is_dir($e)){
      find($e."/");
    }else{
      $files[$e]=filemtime($e);
    }
  }
}
find("./");
for($loop=0;$loop<100;$loop++){
  clearstatcache();
  foreach($files as $f=>$m){
    if(filemtime($f)!=$m){
      print("rlog('auto-reload by $f');location.reload(true);");
      exit();
    }
  }
  sleep(1);
}
print("autoreload()");