diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-11-05 14:01:46 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-11-05 14:01:46 +0000 |
| commit | 46b7221c775bcf92e2a29a3b953a0a46c40276a2 (patch) | |
| tree | df4b17163672c6089593cd9b885d2e293f4a2c74 /src/private/autojudging.php | |
| parent | 7a23ea9d7d25811ee9a07f787a33f18169d25c5c (diff) | |
| download | boca-46b7221c775bcf92e2a29a3b953a0a46c40276a2.tar.gz boca-46b7221c775bcf92e2a29a3b953a0a46c40276a2.zip | |
bf
Diffstat (limited to 'src/private/autojudging.php')
| -rwxr-xr-x | src/private/autojudging.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/private/autojudging.php b/src/private/autojudging.php index 8843fe9..5c1acc8 100755 --- a/src/private/autojudging.php +++ b/src/private/autojudging.php @@ -283,9 +283,10 @@ while(42) { } } } - if(is_dir($dir . $ds . "problemdatalocal" . $ds . "output")) + if(is_dir($dir . $ds . "problemdatalocal" . $ds . "output")) { $s = file_get_contents($flocal); - else + @copy($flocal, $dir . $ds . $run["inputname"]); + } else $s = file_get_contents($dir . $ds . $run["inputname"]); cleardir($dir . $ds . "problemdata"); |