diff options
Diffstat (limited to 'framework/Vendor/PhpShell/PHP/Shell/Extensions/LoadScript.php')
-rw-r--r-- | framework/Vendor/PhpShell/PHP/Shell/Extensions/LoadScript.php | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/framework/Vendor/PhpShell/PHP/Shell/Extensions/LoadScript.php b/framework/Vendor/PhpShell/PHP/Shell/Extensions/LoadScript.php new file mode 100644 index 00000000..a8c4697d --- /dev/null +++ b/framework/Vendor/PhpShell/PHP/Shell/Extensions/LoadScript.php @@ -0,0 +1,32 @@ +<?php + +class PHP_Shell_Extensions_LoadScript implements PHP_Shell_Extension { + public function register() { + $cmd = PHP_Shell_Commands::getInstance(); + + $cmd->registerCommand('#^r #', $this, 'cmdLoadScript', 'r <filename>', + 'load a php-script and execute each line'); + + } + + public function cmdLoadScript($l) { + $l = substr($l, 2); + + if (file_exists($l)) { + $content = file($l); + + $source = array(); + + foreach ($content as $line) { + $line = chop($line); + + if (preg_match('#^<\?php#', $line)) continue; + + $source[] = $line; + } + + return $source; + } + return ""; + } +} |