diff options
| author | cassio <cassiopc@gmail.com> | 2012-09-14 06:36:21 +0000 |
|---|---|---|
| committer | cassio <cassiopc@gmail.com> | 2012-09-14 06:36:21 +0000 |
| commit | cdbf46a96d061b9f9709b4c769ed989f33952198 (patch) | |
| tree | 0d878ba2c607ecfb9b85995ce3dc3a1be490824c /boca-1.5.1/src/private | |
| parent | 10dbedd7172c2164f5b3eb3f1c6e9b4081089e27 (diff) | |
| download | boca-cdbf46a96d061b9f9709b4c769ed989f33952198.tar.gz boca-cdbf46a96d061b9f9709b4c769ed989f33952198.zip | |
fix some undesired php warnings
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'])); |