1 files changed, 87 insertions, 87 deletions
diff --git a/framework/3rdParty/PhpShell/php-shell-init.php b/framework/3rdParty/PhpShell/php-shell-init.php
index 20c6af75..6ae8e8fe 100644
--- a/framework/3rdParty/PhpShell/php-shell-init.php
+++ b/framework/3rdParty/PhpShell/php-shell-init.php
@@ -1,88 +1,88 @@
-<?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()
-));
-
+<?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()
+));
+
 ?>
 \ No newline at end of file