Merge pull request #515 from mariroz/dev

fix of #509, related to php 5.3

diff --git a/inc/poche/Poche.class.php b/inc/poche/Poche.class.php
index 87c00b78c970a03fd869c8145031db0706989b3b..4100f1564f1ae80942818085ba76df193a43e2c3 100755 (executable)
--- a/inc/poche/Poche.class.php
+++ b/inc/poche/Poche.class.php
@@ -366,7 +366,7 @@ class Poche
         // Saving and clearing context
         $REAL = array();
         foreach( $GLOBALS as $key => $value ) {
-            if( $key != "GLOBALS" && $key != "_SESSION" ) {
+            if( $key != 'GLOBALS' && $key != '_SESSION' && $key != 'HTTP_SESSION_VARS' ) {
                 $GLOBALS[$key] = array();
                 $REAL[$key] = $value;
             }