"; $END_CONT = ""; $START_IGNOR=""; $END_IGNOR=""; $content=0; $parsed_url = parse_url($url); $myServer = $parsed_url['host']; $document = $parsed_url['path']; // replaces any space in the query with + $url = preg_replace('/[[:space:]]/','+',$url); if($document[strlen($document)-1]=='/'){ // If your home page has a name other than // index.php then change this here. $document = "$document/index.php"; $base_url = dirname($document); } ?>
".$_SERVER['HTTP_REFERER']."\n"; // print "

---

\n"; print "

\n"; // --- DO NOT MODIFY --- $print_line = "y"; $f_contents = file($url); foreach($f_contents as $line){ if(ereg($START_CONT,$line)){ $content=1; } if(ereg($END_CONT,$line)){ $content=0; } if(ereg($START_IGNOR,$line)){ $print_line="n"; } if(ereg($END_IGNOR,$line)){ $print_line="y"; } if($content==1){ if($print_line=="y"){echo $line;} else { echo ""; } } } print "

\n"; ?>