diff options
Diffstat (limited to 'src/private')
| -rwxr-xr-x | src/private/autojudging.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/private/autojudging.php b/src/private/autojudging.php index 6b83fa0..72b6b3c 100755 --- a/src/private/autojudging.php +++ b/src/private/autojudging.php @@ -427,7 +427,7 @@ if($retval != 0) { system('cat stdout >> ' . $dir . $ds . 'allout'); chdir($dir); if($localretval != 0) { - list($retval,$answer) = exitmsg($retval); + list($retval,$answer) = exitmsg($localretval); $answer = "(WHILE RUNNING) " . $answer; break; } |