From cdbf46a96d061b9f9709b4c769ed989f33952198 Mon Sep 17 00:00:00 2001 From: cassio Date: Fri, 14 Sep 2012 08:36:21 +0200 Subject: fix some undesired php warnings --- boca-1.5.1/src/private/autojudging.php | 1 + 1 file changed, 1 insertion(+) (limited to 'boca-1.5.1/src/private/autojudging.php') 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'])); -- cgit v1.2.3