'; $data .= ' <script type="text/javascript"> window.setTimeout(function() { location.reload(); }, 60000); </script> '; } elseif ($page == "detail") { $metric = $_GET['metric']; $data = getPeriodHeader("GenomeDK Slurm " . $metric . " Overview"); $data .= ' <div class="container"> '; foreach ($periods as $period) { $data .= getGraph($period, $metric, 1, 'graph.php?r=' . $period . '&z=xxlarge&g=' . $metric); } $data .= ' </div> '; } else { $data = "Unknown page"; } ?> <!doctype html> <html> <head> <style type="text/css"> .center { text-align: center; }
$streak++; } else { $streak--; } } if ($date_arr[$pointer] != $date_arr[$pointer - 1] || $num < $cur + 1) { $fullStreak = 0; if (array_key_exists($dateday, $winDays)) { $fullStreak = $winDays[$dateday]; $color = $graph_green; } else { if (array_key_exists($dateday, $loseDays)) { $fullStreak = $loseDays[$dateday]; $color = $graph_red; } else { $color = $graph_grey; } } $out[$pointer] = array($streak, $color, $fullStreak); $pointer++; $streak = 0; } $cur++; } $imageurl = "grid.png"; $img = getGraph($out, $height, $width, $imageurl); Header("Content-type: image/png"); $exp = GMDate("D, d M Y H:i:s", time() + 60 * 60 * 2); Header("Expires: {$exp} GMT"); // Output Image data imagepng($img);
echo "invalid parameter"; exit; } # Receive submission of user solution, verify and record best solution } else { if ($_GET['cmd'] == 'submit') { if (isset($_SESSION['visittime'])) { $time = time() - $_SESSION['visittime']; session_destroy(); } else { $time = 2147483647; // MAX_INTEGER } if (isset($_GET['graph_id']) && isset($_GET['solution'])) { $X = $_GET['graph_id']; $graph = getGraph($X); $selectedEdges = json_decode($_GET['solution'], true); if (isValid($selectedEdges, $graph)) { $user_score = calculateScore($selectedEdges, $graph); global $db; $query = "SELECT num_match, match_score, time FROM record WHERE graph_id = " . $X . ";"; $res = $db->query($query); if (!$res) { exit("There is a MySQL error, exiting this script"); } $best = mysqli_fetch_row($res); $isNewBest = count($selectedEdges) >= $best[0] && $user_score >= $best[1] ? 1 : 0; $isNewHighScore = count($selectedEdges) >= $best[0] && $user_score > $best[1] || count($selectedEdges) == $best[0] && $user_score == $best[1] && $time <= $best[2] ? 1 : 0; if ($isNewHighScore == 1) { $query = "UPDATE record SET num_match = " . count($selectedEdges) . ", match_score = " . $user_score . ", time = " . $time . " WHERE graph_id = " . $X . ";"; $res = $db->query($query);