<div class='alert alert-info'> 正在连接评测机... <?php flush(); $free = $Cp->getgds($_POST['judger']); if (!$free) { //$Cp->unlock(); 异常("当前没有空闲的评测机,请稍后重新提交。", 取路径("problem/problem.php?pid={$_POST['pid']}")); } $Cp->lock(); $Cp->getdir(); if ($_POST['rejudge'] == 1) { $Cp->get_rejudge_src($src); } else { if (!$Cp->getupload()) { $Cp->unlock(); 异常("源代码上传失败。请检查文件大小。", 取路径("problem/problem.php?pid={$_POST['pid']}")); } } ?> <span class='badge badge-info'><?php echo $Cp->state['grid']; ?> </span> <span class='label label-info'><?php echo $Cp->state['name']; ?> <?php echo $Cp->state['ver']; ?> </span>