Example #1
0
function finish_game($game)
{
    $game->ended_at = date('Y-m-d H:i:s', time());
    $game->score = calculate_score($game);
    R::store($game);
}
Example #2
0
        $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);
Example #3
0
<?php

require "calculateScore.php";
require 'startSession.php';
echo json_encode(array("score" => calculate_score($_SESSION['attempts'], $_SESSION['black'], $_SESSION['white'])));
Example #4
0
<?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;