diff options
author | wei <> | 2007-01-17 08:01:40 +0000 |
---|---|---|
committer | wei <> | 2007-01-17 08:01:40 +0000 |
commit | 3dc598bc7c2604e24b9e0be1189d9d78b43737ea (patch) | |
tree | fa3bc532607b6c70af3737fec80ebfed62debc5a /framework/3rdParty/PhpShell/PHP/Shell/Options.php | |
parent | d919dfa1674ddd5226834b81728e1772917d6240 (diff) |
Add active record generator.
Diffstat (limited to 'framework/3rdParty/PhpShell/PHP/Shell/Options.php')
-rw-r--r-- | framework/3rdParty/PhpShell/PHP/Shell/Options.php | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/framework/3rdParty/PhpShell/PHP/Shell/Options.php b/framework/3rdParty/PhpShell/PHP/Shell/Options.php index 649d6727..8f5e57d1 100644 --- a/framework/3rdParty/PhpShell/PHP/Shell/Options.php +++ b/framework/3rdParty/PhpShell/PHP/Shell/Options.php @@ -1,7 +1,7 @@ <?php require_once(dirname(__FILE__)."/Extensions.php"); /* for the PHP_Shell_Interface */ - + /** * */ @@ -28,10 +28,10 @@ class PHP_Shell_Options implements PHP_Shell_Extension { * @see registerOptionAlias */ protected $option_aliases = array(); - + public function register() { - $cmd = PHP_Shell_Commands::getInstance(); - $cmd->registerCommand('#^:set #', $this, 'cmdSet', ':set <var>', 'set a shell variable'); +// $cmd = PHP_Shell_Commands::getInstance(); + // $cmd->registerCommand('#^:set #', $this, 'cmdSet', ':set <var>', 'set a shell variable'); } /** @@ -41,7 +41,7 @@ class PHP_Shell_Options implements PHP_Shell_Extension { * @param object a object handle * @param string method-name of the setor in the object * @param string (unused) - */ + */ public function registerOption($option, $obj, $setor, $getor = null) { if (!method_exists($obj, $setor)) { throw new Exception(sprintf("setor %s doesn't exist on class %s", $setor, get_class($obj))); @@ -88,15 +88,15 @@ class PHP_Shell_Options implements PHP_Shell_Extension { } $this->option_aliases[trim($alias)] = trim($option); - + } /** * execute a :set command * * calls the setor for the :set <option> - * - * + * + * */ private function execute($key, $value) { /* did we hit a alias (bg for backgroud) ? */ @@ -110,7 +110,7 @@ class PHP_Shell_Options implements PHP_Shell_Extension { print (':set '.$key.' failed: unknown key'); return; } - + if (!isset($this->options[$opt_key]["setor"])) { return; } |