Back to index

php5  5.3.10
findfile.php
Go to the documentation of this file.
00001 <?php
00002 
00016 if ($argc < 3) {
00017        echo <<<EOF
00018 Usage: php findfile.php <path> <name>
00019 
00020 Find a specific file by name.
00021 
00022 <path>  Path to search in.
00023 <name>  Filename to look for.
00024 
00025 
00026 EOF;
00027        exit(1);
00028 }
00029 
00030 if (!class_exists("FindFile", false)) require_once("findfile.inc");
00031 
00032 foreach(new FindFile($argv[1], $argv[2]) as $file) echo $file->getPathname()."\n";
00033 ?>