. */ if (array_key_exists('source',$_GET)) { $source=file_get_contents ($_SERVER['SCRIPT_FILENAME']); header("Content-Type: text/php"); header("Content-Length: ".strlen($source)."\n"); header("Pragma: no-cache\n"); echo $source; exit(0); } if (array_key_exists('help',$_GET)) { if (function_exists('_help')) { _help(); exit(0); } } if (count($_GET)==0) { if (function_exists('_usage')) { _usage(); exit(0); } } ?>