return 0; }); pickIndex($n, $progs[0]); //echo "<a name='$n' />"; //echo "<h1>$n</h1>"; $shown = array(); $buf = <<<EOF <link rel="stylesheet" href="scoreSheet.css"/> <script src="jquery-1.10.1.js"></script> <script src="beautify.js"></script> <script src="scoreSheet.js"></script> EOF; $dup = 0; $cnt = 0; foreach ($progs as $p) { $d = ScoreUtil::digest($p); if (isset($shown[$d])) { $dup++; continue; } $shown[$d] = 1; if (isset($p["filename"])) { $fn = $p["filename"]; } else { $fn = "unknown"; } if (isset($p["user"])) { $user = $p["user"]; } else { $user = "******"; }
<?php require_once __DIR__ . "/ScoreUtil.php"; require_once __DIR__ . "/LogUtil.php"; //echo ScoreUtil::$scoreDir->path(); $fs = LogUtil::getLogFiles(); foreach ($fs as $f) { $ls = LogUtil::readLog($f); $mod = false; foreach ($ls as $i => $l) { $d = ScoreUtil::digest($l); $sf = ScoreUtil::scoreFile($d); if ($sf->exists()) { $ls[$i]["score"] = $sf->obj(); $mod = true; } } if ($mod) { LogUtil::writeJSONLines($f->sibling("new/")->rel($f->name()), $ls); } }