diff --git a/web/index.php b/web/index.php index 91a426f..a1f5ccf 100644 --- a/web/index.php +++ b/web/index.php @@ -2,6 +2,15 @@ ////////////////////////////Common head $cache_time = 30; $OJ_CACHE_SHARE = false; + +// Auto git pull on homepage visit (at most once per 60 seconds) +$git_pull_lock = '/tmp/hustoj_git_pull.lock'; +if (!file_exists($git_pull_lock) || (time() - filemtime($git_pull_lock)) > 60) { + touch($git_pull_lock); + $repo_dir = dirname(__DIR__); + exec("cd " . escapeshellarg($repo_dir) . " && git pull > /tmp/hustoj_git_pull.log 2>&1 &"); +} + require_once( './include/cache_start.php' ); require_once( './include/db_info.inc.php' ); require_once( './include/memcache.php' );