diff options
author | Fabio Bas <ctrlaltca@gmail.com> | 2015-02-05 11:45:26 +0100 |
---|---|---|
committer | Fabio Bas <ctrlaltca@gmail.com> | 2015-02-05 11:45:26 +0100 |
commit | 6dae236ec5528522de472637f9d70a98158b9a5d (patch) | |
tree | 0392bc0afb1f09921810d8b313b1f22b2f360106 /framework/3rdParty/PhpShell/php-shell-init.php | |
parent | 81efaa0c6acdcd2e36081fed21ad5eac11fad3bc (diff) |
Renamed 3rdparty directory to vendor
Php namespaces can’t begin with a number
Diffstat (limited to 'framework/3rdParty/PhpShell/php-shell-init.php')
-rw-r--r-- | framework/3rdParty/PhpShell/php-shell-init.php | 87 |
1 files changed, 0 insertions, 87 deletions
diff --git a/framework/3rdParty/PhpShell/php-shell-init.php b/framework/3rdParty/PhpShell/php-shell-init.php deleted file mode 100644 index fd0e9063..00000000 --- a/framework/3rdParty/PhpShell/php-shell-init.php +++ /dev/null @@ -1,87 +0,0 @@ -<?php -@ob_end_clean(); -error_reporting(E_ALL); -set_time_limit(0); - -/** -* the wrapper around the PHP_Shell class -* -* - load extensions -* - set default error-handler -* - add exec-hooks for the extensions -* -* To keep the namespace clashing between shell and your program -* as small as possible all public variables and functions from -* the shell are prefixed with __shell: -* -* - $__shell is the object of the shell -* can be read, this is the shell object itself, don't touch it -* - $__shell_retval is the return value of the eval() before -* it is printed -* can't be read, but overwrites existing vars with this name -* - $__shell_exception is the catched Exception on Warnings, Notices, .. -* can't be read, but overwrites existing vars with this name -*/ - -//try loading it from PEAR -@require_once('PHP/Shell.php'); -if(class_exists('PHP_Shell', false)) -{ - require_once "PHP/Shell/Extensions/Autoload.php"; - require_once "PHP/Shell/Extensions/AutoloadDebug.php"; - require_once "PHP/Shell/Extensions/Colour.php"; - require_once "PHP/Shell/Extensions/ExecutionTime.php"; - require_once "PHP/Shell/Extensions/InlineHelp.php"; - require_once "PHP/Shell/Extensions/VerbosePrint.php"; - require_once "PHP/Shell/Extensions/LoadScript.php"; -} -else -{ - require_once(dirname(__FILE__)."/PHP/Shell.php"); - require_once(dirname(__FILE__)."/PHP/Shell/Extensions/Autoload.php"); - require_once(dirname(__FILE__)."/PHP/Shell/Extensions/AutoloadDebug.php"); - require_once(dirname(__FILE__)."/PHP/Shell/Extensions/Colour.php"); - require_once(dirname(__FILE__)."/PHP/Shell/Extensions/ExecutionTime.php"); - require_once(dirname(__FILE__)."/PHP/Shell/Extensions/InlineHelp.php"); - require_once(dirname(__FILE__)."/PHP/Shell/Extensions/VerbosePrint.php"); - require_once(dirname(__FILE__)."/PHP/Shell/Extensions/LoadScript.php"); -} - -/** -* default error-handler -* -* Instead of printing the NOTICE or WARNING from php we wan't the turn non-FATAL -* messages into exceptions and handle them in our own way. -* -* you can set your own error-handler by createing a function named -* __shell_error_handler -* -* @param integer $errno Error-Number -* @param string $errstr Error-Message -* @param string $errfile Filename where the error was raised -* @param interger $errline Line-Number in the File -* @param mixed $errctx ... -*/ -function __shell_default_error_handler($errno, $errstr, $errfile, $errline, $errctx) { - ## ... what is this errno again ? - if ($errno == 2048) return; - - throw new Exception(sprintf("%s:%d\r\n%s", $errfile, $errline, $errstr)); -} - -//set_error_handler("__shell_default_error_handler"); - -$__shell = new PHP_Shell(); -$__shell_exts = PHP_Shell_Extensions::getInstance(); -$__shell_exts->registerExtensions(array( - "options" => PHP_Shell_Options::getInstance(), /* the :set command */ - - "autoload" => new PHP_Shell_Extensions_Autoload(), - "autoload_debug" => new PHP_Shell_Extensions_AutoloadDebug(), - "colour" => new PHP_Shell_Extensions_Colour(), - "exectime" => new PHP_Shell_Extensions_ExecutionTime(), - "inlinehelp" => new PHP_Shell_Extensions_InlineHelp(), - "verboseprint" => new PHP_Shell_Extensions_VerbosePrint() - // "loadscript" => new PHP_Shell_Extensions_LoadScript() -)); - |