if ($line[0] != '(') { continue; } } print "\r" . $progress[$j % 4]; $line = rtrim($line, "\n;"); $pos = strpos($line, '('); if ($pos !== false) { $line = substr($line, $pos); $offset = 0; $arr = get_values($line, $offset); for ($i = 0; $i < sizeof($arr); $i += $fields) { // pagename $pagename = $arr[$i + DUMP_TITLE]; // filename $filename = $DBInfo->pageToKeyname($pagename); // mtime $mtime = $arr[$i + DUMP_TIMESTAMP]; fwrite($lp, $pagename . "\t" . $filename . "\n"); $body = $arr[$i + DUMP_BODY]; echo "\r", $pagename, "\n"; if (strlen($filename) < 255) { if (!file_exists($dest_dir . '/' . $filename)) { file_put_contents($dest_dir . '/' . $filename, $body); } if ($mtime > 0) { @touch($dest_dir . '/' . $filename, $mtime); } } else { echo 'ERR: long name: ', $pagename, "\n"; }
closedir($handle); } else { if (is_file($source)) { $fp = fopen($source, 'r'); if (!is_resource($fp)) { echo "Can't open {$source}\n"; exit; } echo "Get file list...\n"; $files = array(); while (($name = fgets($fp, 2048)) !== false) { if ($name[0] == '#') { continue; } $name = rtrim($name, "\n"); $file = $DBInfo->pageToKeyname($name); $files[] = $file; } fclose($fp); echo "Done...\n"; } } if (count($files) > 0) { // mkdir output dir if (!$overwrite && is_dir($output_dir)) { echo "ERROR: Output dir '{$output_dir}' already exists\nPlease rename it and try again\n"; exit; } @mkdir($output_dir); $j = 0; foreach ($files as $file) {
dump($schema); dump("\n"); $files = array(); // check dump file list if (is_file($argv[1])) { $handle = fopen($argv[1], 'r'); if (!is_resource($handle)) { echo "Can't open {$argv['1']}\n"; exit; } while (($name = fgets($handle, 2048)) !== false) { if ($name[0] == '#') { continue; } $name = rtrim($name, "\n"); $key = $DBInfo->pageToKeyname($name); $pagefile = $text_dir . '/' . $key; if (file_exists(!$pagefile)) { continue; } $files[] = $key; } fclose($handle); } else { $handle = opendir($text_dir); if (!is_resource($handle)) { echo "Can't open {$DBInfo->text_dir}\n"; exit; } while (($file = readdir($handle)) !== false) { if ($file[0] == '.' || in_array($file, array('RCS', 'CVS'))) {