. //////////////////////////////////////////////////////////////////////////////// //Last updated 16/oct/2017 by cassio@ime.usp.br require 'header.php'; ?>
     
\n"; echo "Building scores\n"; $level=$s["sitescorelevel"]; $data0 = array(); if($level>0) { list($score,$data0) = DBScoreSite($_SESSION["usertable"]["contestnumber"], $_SESSION["usertable"]["usersitenumber"], 0, -1); } $ct=DBGetActiveContest(); $localsite=$ct['contestlocalsite']; $fname = $privatedir . $ds . "score_localsite_" . $localsite . "_x"; // . md5($_SERVER['HTTP_HOST']); @file_put_contents($fname . ".tmp",base64_encode(serialize($data0))); @rename($fname . ".tmp",$fname . ".dat"); $data0 = array(); if($level>0) { list($score,$data0) = DBScoreSite($_SESSION["usertable"]["contestnumber"], $_SESSION["usertable"]["usersitenumber"], 1, -1); } $ct=DBGetActiveContest(); $localsite=$ct['contestlocalsite']; $fname = $remotedir . $ds . "score_site" . $localsite . "_" . $localsite . "_x"; // . md5($_SERVER['HTTP_HOST']); @file_put_contents($fname . ".tmp",base64_encode(serialize($data0))); @rename($fname . ".tmp",$fname . ".dat"); echo "Transferring scores\n"; scoretransfer($fname . ".dat", $localsite); echo "Saving scores\n"; if(@create_zip($remotedir,glob($remotedir . '/*.dat'),$fname . ".tmp") != 1) { LOGError("Cannot create score zip file"); if(@create_zip($remotedir,array(),$fname . ".tmp") == 1) @rename($fname . ".tmp",$destination); } else { @rename($fname . ".tmp",$destination); } @fclose($fp); echo "Processing other data\n"; getMainXML($_SESSION["usertable"]["contestnumber"]); echo "\n"; @unlink($destination . ".lck"); } else { if(file_exists($destination . ".lck") && filemtime($destination . ".lck") < time() - 180) @unlink($destination . ".lck"); } } } ?>