aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCassio de Campos <cassiopc@gmail.com>2017-09-09 04:27:04 +0000
committerCassio de Campos <cassiopc@gmail.com>2017-09-09 04:27:04 +0000
commitefb6a1fc71aef20ac04f64f3f8f693aa037435ad (patch)
tree180954814d1351bb9f3070cb6232267e90561db2
parentf2616c784f4ecc07d8c846fe61bd1b798eb396b4 (diff)
downloadboca-efb6a1fc71aef20ac04f64f3f8f693aa037435ad.tar.gz
boca-efb6a1fc71aef20ac04f64f3f8f693aa037435ad.zip
order the files by name in the aj
-rwxr-xr-xsrc/private/autojudging.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/private/autojudging.php b/src/private/autojudging.php
index 06d7006..dcb7398 100755
--- a/src/private/autojudging.php
+++ b/src/private/autojudging.php
@@ -395,6 +395,7 @@ while(42) {
continue;
} else {
$errp=0; $ncor=0; $showcor=false;
+ sort($inputlist);
foreach($inputlist as $file) {
$file = basename($file);
if(is_file($dir . $ds . "input" . $ds . $file)) {