aboutsummaryrefslogtreecommitdiff
path: root/src/private
diff options
context:
space:
mode:
authorCassio de Campos <cassiopc@gmail.com>2017-11-05 14:02:43 +0000
committerCassio de Campos <cassiopc@gmail.com>2017-11-05 14:02:43 +0000
commit73d633e765ab6bdeaa6f7b71d744ec3a44de01be (patch)
tree9fd2bfc9568cea73bfb296e7fa6c33fa14340596 /src/private
parent46b7221c775bcf92e2a29a3b953a0a46c40276a2 (diff)
parent20f79e3d8518a31fb19b420faf6849b0634e27e2 (diff)
downloadboca-73d633e765ab6bdeaa6f7b71d744ec3a44de01be.tar.gz
boca-73d633e765ab6bdeaa6f7b71d744ec3a44de01be.zip
Merge branch 'master' of ssh://github.com/cassiopc/boca into devel
Diffstat (limited to 'src/private')
-rwxr-xr-xsrc/private/autojudging.php22
1 files changed, 15 insertions, 7 deletions
diff --git a/src/private/autojudging.php b/src/private/autojudging.php
index 5c1acc8..6c53b96 100755
--- a/src/private/autojudging.php
+++ b/src/private/autojudging.php
@@ -215,7 +215,7 @@ while(42) {
cleardir($dir . $ds . "problemdatalocal");
continue;
}
- }
+ } else echo "Problem info obtained from local package file\n";
if(isset($info['descfile']))
$descfile=trim(sanitizeFilename($info['descfile']));
$basename=trim(sanitizeFilename($info['basename']));
@@ -236,8 +236,10 @@ while(42) {
continue;
}
$pd = 'problemdata';
- if(is_dir($dir . $ds . "problemdatalocal" . $ds . "limits"))
+ if(is_dir($dir . $ds . "problemdatalocal" . $ds . "limits")) {
+ echo "Obtaining limits from local package file\n";
$pd = 'problemdatalocal';
+ }
chdir($dir . $ds . $pd . $ds . "limits");
$limits[$basename]=array();
$cont=false;
@@ -259,8 +261,10 @@ while(42) {
}
if(!$cont) {
$pd = 'problemdata';
- if(is_dir($dir . $ds . "problemdatalocal" . $ds . "tests"))
+ if(is_dir($dir . $ds . "problemdatalocal" . $ds . "tests")) {
+ echo "Running test scripts from local package file\n";
$pd = 'problemdatalocal';
+ }
foreach(glob($dir . $ds . $pd . $ds . "tests" .$ds . '*') as $file) {
chdir($dir . $ds . $pd . $ds . "tests");
chmod($file,0700);
@@ -285,15 +289,19 @@ while(42) {
}
if(is_dir($dir . $ds . "problemdatalocal" . $ds . "output")) {
$s = file_get_contents($flocal);
- @copy($flocal, $dir . $ds . $run["inputname"]);
} else
+ echo "Using scripts and inputs/outputs from local package file\n";
+ $s = file_get_contents($flocal);
+ @copy($flocal, $dir . $ds . $run["inputname"]);
+ } else {
$s = file_get_contents($dir . $ds . $run["inputname"]);
-
+ }
cleardir($dir . $ds . "problemdata");
cleardir($dir . $ds . "problemdatalocal");
- if($cont)
+ if($cont) {
+ echo "Aborting judging because of issues in the package\n";
continue;
-
+ }
file_put_contents($cache . $ds . $run["inputoid"] . "." . $run["inputname"], encryptData($s,$key));
}