diff options
Diffstat (limited to 'boca-1.5.1/src/private')
| -rwxr-xr-x | boca-1.5.1/src/private/autojudging.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/boca-1.5.1/src/private/autojudging.php b/boca-1.5.1/src/private/autojudging.php index 79c7079..e57d790 100755 --- a/boca-1.5.1/src/private/autojudging.php +++ b/boca-1.5.1/src/private/autojudging.php @@ -192,6 +192,7 @@ if(is_readable($cache . $ds . $run["inputoid"] . "." . $run["inputname"])) { cleardir($dir . $ds . "problemdata"); continue; } + if(isset($info['descfile'])) $descfile=trim(sanitizeText($info['descfile'])); $basename=trim(sanitizeText($info['basename'])); $fullname=trim(sanitizeText($info['fullname'])); |