function finish_game($game) { $game->ended_at = date('Y-m-d H:i:s', time()); $game->score = calculate_score($game); R::store($game); }
$NUM_OF_SUBMISSION++; } else { echo $filename . " file not exists.\n"; } } srand(time()); $h_dir = opendir($HOMEWORK_DIR); if ($h_dir == FALSE) { exit(-1); } $NUM_OF_SUBMISSION = 0; while (($file = readdir($h_dir)) !== false) { if ($file == "." || $file == ".." || $file == "queue" || $file == "config" || $file == "customized_templates") { continue; } $dir = rtrim($HOMEWORK_DIR, '/') . "/" . $file; if (filetype($dir) != "dir") { continue; } parse_analysis_result($file, $dir . "/current/" . $ANALYSIS_FILE); parse_user_defined_metric($file, $dir . "/current/" . $USER_DEFINED_METRIC_FILE); //echo "filename: $file : filetype: " . filetype($HOMEWORK_DIR ."/" . $file) . "<br/>"; } closedir($h_dir); fill_missing_entry(); printf("Latest analysis result modification time = %s\n", date("F d Y H:i:s.", $LATEST_ANALYSIS_RESULT_MTIME)); printf("scoreboard.php modification time = %s\n", date("F d Y H:i:s.", $SCOREBOARD_MTIME)); calculate_priority(); calculate_diversity(); calculate_score(); dump_scoreboard($SCOREBOARD_OUTPUT);
<?php require "calculateScore.php"; require 'startSession.php'; echo json_encode(array("score" => calculate_score($_SESSION['attempts'], $_SESSION['black'], $_SESSION['white'])));
<?php require "connection.php"; require "calculateScore.php"; require "startSession.php"; $username = strip_tags($connection->real_escape_string($_POST['username'])); $score = calculate_score($_SESSION['attempts'], $_SESSION['black'], $_SESSION['white']); if (strlen($username) > 0 && strlen($username) <= 20 && $score > 0) { // Check if username already exists $username_check = $connection->query("SELECT * FROM `highscores` WHERE `nickname` = '{$username}'")->fetch_array(); if (isset($username_check)) { // Look for score $db_score = $connection->query("SELECT `score` FROM `highscores` WHERE `nickname` = '{$username}'")->fetch_array(); if (intval($db_score[0]) < $score) { // Update score $connection->query("UPDATE `highscores` SET `score` = {$score} WHERE `nickname` = '{$username}'"); echo "Updated"; } } else { // Upload highscore $connection->query("INSERT INTO `highscores` (`nickname`, `score`) VALUES ('{$username}', {$score})"); echo "Uploaded"; } } // Set nickname cookie setcookie("nickname", $username, time() + 3600 * 24 * 7 * 52, "/"); $_COOKIE['nickname'] = $username;