Update remote_bas.php

zhblue · Sep 17, 2023 · 663d48e · 663d48e
1 parent dac3e9c
commit 663d48e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/trunk/web/include/remote_bas.php b/trunk/web/include/remote_bas.php
@@ -99,6 +99,11 @@ function do_result_one($remote_site,$username,$password,$sid,$rid){
 	$result=5;
 	$time=0;
 	$memory=0;
+	if(substr($html,3)=="-1"){
+                pdo_query("update solution set result=16,remote_id=0 where solution_id=?",$sid);
+                echo "previous submission failed , pending another submiting ";
+                return -1;
+        }
 	echo "<br>==".htmlentities($html)."==";
         if($data[2]=="Waiting"||$data[2]=="Judging"){
                 $sql="update solution set result=17,judgetime=now()  where solution_id=?";