diff options
Diffstat (limited to 'src/private')
| -rwxr-xr-x | src/private/autojudging.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/private/autojudging.php b/src/private/autojudging.php index 2c3e01e..4994303 100755 --- a/src/private/autojudging.php +++ b/src/private/autojudging.php @@ -378,8 +378,8 @@ if($retval != 0) { chmod($scriptcomp, 0700); if($ninputlist == 0) { - echo "Failed to read input files from ZIP -- please check the problem package\n"; - DBGiveUpRunAutojudging($contest, $site, $number, $ip, "Autojuging error: problem package file is invalid (10)"); + echo "WARN: There are NO input files in ZIP package -- should check the problem package?\n"; + DBGiveUpRunAutojudging($contest, $site, $number, $ip, "Autojuging warning: problem package has no input files"); continue; } else { $errp=0; |