From 58a9fb04f16a15178256a8798e609793086da1a4 Mon Sep 17 00:00:00 2001
From: Andreas Malecki <Andreas.Malecki@tngtech.com>
Date: Mon, 5 Aug 2019 15:21:53 +0200
Subject: [PATCH] Allow unit testing with PHP 7.2

---
 library/Zend/Session.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/Zend/Session.php b/library/Zend/Session.php
index da4f8830a3..ce5836a84a 100644
--- a/library/Zend/Session.php
+++ b/library/Zend/Session.php
@@ -199,7 +199,7 @@ protected function __construct()
     public static function setOptions(array $userOptions = array())
     {
         // set default options on first run only (before applying user settings)
-        if (!self::$_defaultOptionsSet) {
+        if (!self::$_defaultOptionsSet && !self::$_unitTestEnabled) {
             foreach (self::$_defaultOptions as $defaultOptionName => $defaultOptionValue) {
                 if (isset(self::$_defaultOptions[$defaultOptionName])) {
                     ini_set("session.$defaultOptionName", $defaultOptionValue);