From 9a84a983d33150d24dd33ea8adec9e53332f28f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffen=20Schro=CC=88der?= <schteffens@gmail.com>
Date: Thu, 15 May 2014 13:03:59 +0200
Subject: [PATCH] fixed rare error (how can that even happen?)

---
 application/core/Utils/CommandLineHelper.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/application/core/Utils/CommandLineHelper.php b/application/core/Utils/CommandLineHelper.php
index 464875c7..56b2c15d 100644
--- a/application/core/Utils/CommandLineHelper.php
+++ b/application/core/Utils/CommandLineHelper.php
@@ -19,6 +19,9 @@ class CommandLineHelper {
 	 */
 	public static function getParameter($paramName) {
 		global $argv;
+		if (!is_array($argv)) {
+			return null;
+		}
 		$paramName = (string)$paramName;
 		foreach ($argv as $arg) {
 			$parts = explode('=', $arg, 2);