klarkxy/hustoj
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

✨ feat(submit): 重构提交流程并加强判题端错误处理

Browse Source 
- judge_client 在 solution/problem/source 查询失败时记录系统错误并以 OJ_RE 安全退出，避免判题机崩溃或挂起
- submit.php 抽取 submit_error 助手，AJAX 请求返回纯文本错误，提交页改为 AJAX 流程并增强错误提示
- 修复 reinfo 自动刷新脚本在标签页切回前台后未恢复轮询的 bug
This commit is contained in:
klarkxy
2026-07-09 12:03:12 +08:00
parent 418674806b
commit 5a27c07bba
6 changed files with 292 additions and 132 deletions
Download Patch File Download Diff File Expand all files Collapse all files

108
web/submit.php
View File

@@ -3,19 +3,37 @@ require_once "include/db_info.inc.php";
require_once "include/my_func.inc.php";
require_once "include/email.class.php";
require_once "include/base64.php";
require_once "include/const.inc.php";
$is_ajax_submit = isset($_GET['ajax']) || isset($_POST['ajax']);
function submit_error($message) {
global $OJ_TEMPLATE, $is_ajax_submit, $view_errors;
if ($is_ajax_submit) {
header("Content-Type: text/plain; charset=UTF-8");
$text = trim(html_entity_decode(strip_tags($message), ENT_QUOTES, "UTF-8"));
if ($text === "") {
$text = "Submit failed.";
}
echo $text;
exit(0);
}
$view_errors = $message;
require "template/".$OJ_TEMPLATE."/error.php";
exit(0);
}
if(isset($OJ_CSRF) && $OJ_CSRF && $OJ_TEMPLATE=="syzoj" && !isset($_SESSION[$OJ_NAME.'_'.'http_judge']))
require_once(dirname(__FILE__)."/include/csrf_check.php");
if (!isset($_SESSION[$OJ_NAME . '_' . 'user_id'])) {
$view_errors = "<a href=loginpage.php>$MSG_Login</a>";
require("template/".$OJ_TEMPLATE."/error.php");
exit(0);
submit_error("<a href=loginpage.php>$MSG_Login</a>");
}
require_once "include/memcache.php";
require_once "include/const.inc.php";
$now = strftime("%Y-%m-%d %H:%M", time());
$user_id = $_SESSION[$OJ_NAME.'_'.'user_id'];
@@ -41,10 +59,8 @@ if (!$OJ_BENCHMARK_MODE) {
$_SESSION[$OJ_NAME.'_'."vcode"] = null;
$err_str = $err_str.$MSG_VCODE_WRONG."\n";
$err_cnt++;
$view_errors = $err_str;
$_SESSION[ $OJ_NAME . '_' . "vfail" ]=true;
require "template/".$OJ_TEMPLATE."/error.php";
exit(0);
submit_error($err_str);
}else{
$_SESSION[ $OJ_NAME . '_' . "vfail" ]=false;
}
@@ -74,24 +90,13 @@ else {
if(!$test_run){
$res = mysql_query_cache($sql);
if (isset($res) && count($res)<1 && !isset($_SESSION[$OJ_NAME.'_'.'administrator']) && !((isset($cid)&&$cid<=0) || (isset($id)&&$id<=0))) {
$view_errors = $MSG_LINK_ERROR."<br>";
require "template/".$OJ_TEMPLATE."/error.php";
exit(0);
submit_error($MSG_LINK_ERROR."<br>");
}
}
if ($res[0][1]!='N' && !($test_run||isset($_SESSION[$OJ_NAME.'_'.'administrator']))) {
if (!$test_run && isset($res[0]) && $res[0][1]!='N' && !isset($_SESSION[$OJ_NAME.'_'.'administrator'])) {
// echo "res:$res,count:".count($res);
// echo "$sql";
$view_errors = $MSG_PROBLEM_RESERVED."<br>";
if (isset($_POST['ajax'])) {
echo $view_errors.$res[0][1];
exit(0);
}
else {
require "template/".$OJ_TEMPLATE."/error.php";
}
exit(0);
submit_error($MSG_PROBLEM_RESERVED."<br>".$res[0][1]);
}
$title = "";
@@ -118,10 +123,7 @@ else if (isset($_POST['pid']) && isset($_POST['cid']) && $_POST['cid']!=0) {
$rows_cnt = count($result);
if ($rows_cnt != 1) {
$view_errors .= $MSG_NOT_IN_CONTEST;
require "template/" . $OJ_TEMPLATE . "/error.php";
exit(0);
submit_error($MSG_NOT_IN_CONTEST);
}
else {
$row = $result[0];
@@ -137,9 +139,7 @@ else if (isset($_POST['pid']) && isset($_POST['cid']) && $_POST['cid']!=0) {
$ccnt = intval($row[0]);
if ($ccnt==0 && !isset($_SESSION[$OJ_NAME.'_'.'administrator'])) {
$view_errors = $MSG_NOT_INVITED."\n";
require "template/" . $OJ_TEMPLATE . "/error.php";
exit(0);
submit_error($MSG_NOT_INVITED."\n");
}
}
}
@@ -150,9 +150,7 @@ else if (isset($_POST['pid']) && isset($_POST['cid']) && $_POST['cid']!=0) {
$rows_cnt = count($result);
if ($rows_cnt != 1) {
$view_errors = $MSG_NO_PROBLEM."\n";
require "template/".$OJ_TEMPLATE."/error.php";
exit(0);
submit_error($MSG_NO_PROBLEM."\n");
}
else {
$row = $result[0];
@@ -182,12 +180,10 @@ if ($language > count($language_name) || $language < 0) {
$language = strval($language);
if ($langmask&(1<<$language)) {
$view_errors = $MSG_NO_PLS."\n[$language][$langmask][".($langmask&(1<<$language))."]";
require "template/".$OJ_TEMPLATE."/error.php";
exit(0);
submit_error($MSG_NO_PLS."\n[$language][$langmask][".($langmask&(1<<$language))."]");
}
$source = $_POST['source'];
$source = isset($_POST['source']) ? $_POST['source'] : "";
$input_text = "";
if (isset($_POST['input_text'])) {
@@ -206,7 +202,7 @@ if ($test_run) {
$id = -$id;
}
$tempfile = $_FILES ["answer"] ["tmp_name"];
$tempfile = (isset($_FILES["answer"]) && isset($_FILES["answer"]["tmp_name"])) ? $_FILES["answer"]["tmp_name"] : "";
if($tempfile!=""){
if($language!=23){
@@ -217,7 +213,7 @@ if($tempfile!=""){
$source="Main.sb3";
}
}
$origin_name=trim($_FILES ["answer"]['name']);
$origin_name=(isset($_FILES["answer"]) && isset($_FILES["answer"]['name'])) ? trim($_FILES["answer"]['name']) : "";
$solution_file = "$OJ_DATA/$id/solution.name";
if(file_exists($solution_file)){
$solution_name=trim(file_get_contents($solution_file));
@@ -255,7 +251,7 @@ if ($test_run) {
$id = 0;
}
if($language!=23) $len = strlen($source);else $len = $_FILES['answer']['size'];
if($language!=23) $len = strlen($source);else $len = (isset($_FILES['answer']) ? intval($_FILES['answer']['size']) : 0);
//echo $source;
setcookie('lastlang', $language, time()+360000);
@@ -270,15 +266,11 @@ if (!empty($_SERVER['HTTP_X_FORWARDED_FOR'])) {
if ($len < 2) {
$view_errors = $MSG_TOO_SHORT.$tempfile."<br>";
require "template/".$OJ_TEMPLATE."/error.php";
exit(0);
submit_error($MSG_TOO_SHORT.$tempfile."<br>");
}
if ($len > 65536) {
$view_errors = $MSG_TOO_LONG."<br>";
require "template/" . $OJ_TEMPLATE . "/error.php";
exit(0);
submit_error($MSG_TOO_LONG."<br>");
}
if (!$OJ_BENCHMARK_MODE) {
@@ -295,8 +287,8 @@ if (!$OJ_BENCHMARK_MODE) {
exit(0);
// 预防WAF抽风
*/
if(isset($_GET['ajax'])){
echo -1;
if($is_ajax_submit){
submit_error(str_replace("10",$OJ_SUBMIT_COOLDOWN_TIME,$MSG_BREAK_TIME));
}else{
$statusURI = "status.php?user_id=".$_SESSION[$OJ_NAME.'_'.'user_id'];
if (isset($cid)) {
@@ -373,15 +365,17 @@ if (~$OJ_LANGMASK&(1<<$language)) {
////remote oj
$result=0;
$sql="select remote_oj from problem where problem_id=?";
$remote_oj=pdo_query($sql,$id);
if(isset($remote_oj[0])){
$remote_oj=$remote_oj[0][0];
if($remote_oj!=""){
$result=16;
$sql="update solution set result=16,remote_oj=? where solution_id=?";
pdo_query($sql,$remote_oj,$insert_id);
}
if (!$test_run && isset($OJ_REMOTE_JUDGE) && $OJ_REMOTE_JUDGE) {
$sql="select remote_oj from problem where problem_id=?";
$remote_oj=pdo_query($sql,$id);
if(isset($remote_oj[0])){
$remote_oj=$remote_oj[0][0];
if($remote_oj!=""){
$result=16;
$sql="update solution set result=16,remote_oj=? where solution_id=?";
pdo_query($sql,$remote_oj,$insert_id);
}
}
}
////poison robot account,give system resources to the REAL people
@@ -501,11 +495,11 @@ if (isset($cid)) {
$statusURI .= "&cid=$cid&fixed=";
}
if (!$test_run&&!isset($_GET['ajax'])) {
if (!$test_run&&!$is_ajax_submit) {
header("Location: $statusURI");
}
else {
if (isset($_GET['ajax'])) {
if ($is_ajax_submit) {
echo $insert_id;
}
else {