...
'; } $tr->outertext = '
'.$suits[0].'
'.$suits[1].'
'.$suits[2].'
'.$suits[3];
return $str;
}
function format_ability($ability_num) {
$ability = $this->ability[$ability_num];
$ab = array($ability[0], $ability[2], $ability[3], $ability[4], $ability[5], $ability[6]);
foreach($ab as $k=>$v) {
switch($v) {
case 'A': $ab[$k] = '10'; break;
case 'B': $ab[$k] = '11'; break;
case 'C': $ab[$k] = '12'; break;
case 'D': $ab[$k] = '13'; break;
}
}
return "
$4 $5, $6', $minimax);
return $minimax;
}
}
define('TIMESTAMP_FILE', '.tdd-timestamps.cache');
define('RECORDS_FILE', '.tdd-records.cache');
function load_deals_for_tables($prefix, $round, $board_in_teamy) {
$db = unserialize(file_get_contents(RECORDS_FILE));
if (isset($db[$prefix])) {
if (isset($db[$prefix][$round])) {
if (isset($db[$prefix][$round][$board_in_teamy])) {
return $db[$prefix][$round][$board_in_teamy];
}
}
}
return array();
}
function get_record_files($directory = '.') {
return glob($directory . DIRECTORY_SEPARATOR . '*.pbn');
}
function get_files_timestamps($files = array()) {
return array_combine(
$files,
array_map('filemtime', $files)
);
}
function compile_record_database($files, $dbFile) {
$db = array();
foreach ($files as $filename) {
$filename = basename($filename);
$fileParts = array();
if (preg_match('/^(.*)-r(\d+)-t(\d+)-b(\d+)\.pbn$/', $filename, $fileParts)) {
$prefix = $fileParts[1];
if (!isset($db[$prefix])) {
$db[$prefix] = array();
}
$round = (int)($fileParts[2]);
if (!isset($db[$prefix][$round])) {
$db[$prefix][$round] = array();
}
$table = (int)($fileParts[3]);
$firstBoard = (int)($fileParts[4]);
$chunks = preg_split('/(\[Board "(\d+)"\])/', file_get_contents($filename), -1, PREG_SPLIT_DELIM_CAPTURE);
$boardHeader = '';
$boardNumber = 1;
$firstBoardNumber = -1;
foreach ($chunks as $chunk) {
$chunk = trim($chunk);
if (strpos($chunk, '% PBN') > -1) {
continue;
}
if (strpos($chunk, '[Board ') === 0) {
$boardHeader = $chunk;
continue;
}
if (strpos($chunk, '[') === 0) {
try {
$deal = new Deal($boardHeader . $chunk, $boardNumber);
$boardNumberJFR = $boardNumber + $firstBoard - $firstBoardNumber;
if (!isset($db[$prefix][$round][$boardNumberJFR])) {
$db[$prefix][$round][$boardNumberJFR] = array();
}
$db[$prefix][$round][$boardNumberJFR][$table] = $deal;
} catch (NoSuchDealNumber $e) {
// ignore if the deal does not exist in the file
}
} else {
$boardNumber = (int)($chunk);
if ($firstBoardNumber < 0) {
$firstBoardNumber = $boardNumber;
}
}
}
}
}
file_put_contents(RECORDS_FILE, serialize($db));
}
function refresh_board_database() {
$recordFiles = get_record_files();
$savedTimestamps = file_exists(TIMESTAMP_FILE) ? json_decode(file_get_contents('.tdd-timestamps.cache'), TRUE) : array();
$timestamps = get_files_timestamps($recordFiles);
if (array_diff_assoc($savedTimestamps, $timestamps) || array_diff_assoc($timestamps, $savedTimestamps)) {
compile_record_database($recordFiles, RECORDS_FILE);
file_put_contents(TIMESTAMP_FILE, json_encode($timestamps));
}
}