Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
php
} else {
// the spidering is in progess, read variables from session
$local_files_path = $_SESSION["local_files_path"];
global $url;
global $root_filename;
global $local_files_path;
global $max_level;
echo "<pre>";
echo "get_and_parse_url('$url_to_parse', '$save_to_dir', $level)\n";
echo "save_to_dir='$save_to_dir'\n";
echo "filename='$filename'\n";
// $filename = "data/00000001-2008-09-27/index.html";
// $html = file_get_contents($filename);
//echo htmlentities($html);
}
}