Empty the $_SESSION variable instead of unset

SwenVanZanten · web-flow · commit 7f0a1518a80d · 2019-12-05T07:46:40.000+01:00
We shouldn't destroy a global variable cause other scripts trust them to be there.
diff --git a/lib/Saml2/Utils.php b/lib/Saml2/Utils.php
@@ -971,7 +971,7 @@ public static function deleteLocalSession()
             session_destroy();
         }
 
-        unset($_SESSION);
+        $_SESSION = [];
     }
 
     /**

Original file line number	Diff line number	Diff line change
`@@ -971,7 +971,7 @@ public static function deleteLocalSession()`
`971`	`971`	`session_destroy();`
`972`	`972`	`}`
`973`	`973`
`974`		`- unset($_SESSION);`
	`974`	`+ $_SESSION = [];`
`975`	`975`	`}`
`976`	`976`
`977`	`977`	`/**`