summaryrefslogtreecommitdiff
path: root/framework/3rdParty/PhpShell/PHP/Shell/Options.php
diff options
context:
space:
mode:
authorwei <>2007-01-17 08:01:40 +0000
committerwei <>2007-01-17 08:01:40 +0000
commit3dc598bc7c2604e24b9e0be1189d9d78b43737ea (patch)
treefa3bc532607b6c70af3737fec80ebfed62debc5a /framework/3rdParty/PhpShell/PHP/Shell/Options.php
parentd919dfa1674ddd5226834b81728e1772917d6240 (diff)
Add active record generator.
Diffstat (limited to 'framework/3rdParty/PhpShell/PHP/Shell/Options.php')
-rw-r--r--framework/3rdParty/PhpShell/PHP/Shell/Options.php18
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;
}