\n"); } $script = $_SERVER['argv'][1]; $dir = $_SERVER['argv'][2]; if (!is_file($script) || !is_dir($dir)) die ("