diff options
| -rwxr-xr-x | src/private/autojudging.php | 1 |
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)) { |