Litte typo ...

diff --git a/boot.php b/boot.php
index fa4f8b072ec1853c676c0f02f25a0176c1e5c75d..258fd49ee6a6b2ab313440a6bcb3e760f1dc8008 100644 (file)
--- a/boot.php
+++ b/boot.php
@@ -2395,4 +2395,4 @@ if (!isset($argv) && array_key_exists('argv', $_SERVER))
        $argv = $_SERVER['argv'];
 
 if (!isset($argc) && array_key_exists('argc', $_SERVER))
-       $argv = $_SERVER['argc'];
+       $argc = $_SERVER['argc'];