function write_cnt() { $t = read_cnt() + 1; $fp = fopen("cnt.php", "w"); fprintf($fp, "%ld", $t); fclose($fp); }
} proc_close($process); destroylink($i, $query); if (file_exists("{$query['pname']}.out")) { rename("{$query['pname']}.out", "{$query['pname']}{$i}.out"); } echo array_encode($tmp); } $now = read(); $stt = read(); switch ($query['action']) { case "state": $tmp['state'] = $now; $tmp['name'] = $cfg['Name']; $tmp['ver'] = $cfg['Ver']; $tmp['cnt'] = read_cnt(); $run = getrunning(); if ($run < 0) { running(0, 'abs'); $run = 0; } else { if ($run == 0) { write("free"); $tmp['state'] = "free"; } } echo array_encode($tmp); break; case "lock": do { write("locked");
<h3>评测机状态</h3> <ul> <li>评测机:<?php echo $cfg['Name']; ?> </li> <li>版本:<?php echo $cfg['Ver']; ?> </li> <li>当前状态:<?php echo read(); ?> </li> <li>评测次数:<?php echo read_cnt(); ?> </li> <li>正在运行:<?php echo getrunning(); ?> </li> </ul> <h3>编译选项</h3> <pre>fpc {$query['src']} -So -XS -v0 -O1 -o\"{$query['pname']}\"</pre> <pre>gcc {$query['src']} -lm -w -O2 -static -o {$query['pname']}</pre> <pre>g++ {$query['src']} -lm -w -O2 -static -o {$query['pname']}</pre> <h3>编译器版本</h3> <pre><?php passthru("gcc --version"); ?>