| +-----------------------------------------------------------------------+ $Id: clisetup.php 3998 2010-09-29 08:30:56Z thomasb $ */ if (php_sapi_name() != 'cli') { die('Not on the "shell" (php-cli).'); } require_once 'iniset.php'; /** * Parse commandline arguments into a hash array */ function get_opt($aliases=array()) { $args = array(); for ($i=1; $i