&1"; exec($cmd, $output, $return_code); $show_title = "Git Pull - " . $OJ_NAME; require("template/".$OJ_TEMPLATE."/header.php"); ?>

服务器更新 (git pull )

重试 git pull 返回