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'))) {
