+ //echo ini_get('session.gc_maxlifetime').':'.ini_get('session.cookie_lifetime');
+ }
+
+ public static function getInstance() {
+ global $CFG;
+
+ if (!is_object(self::$_instance)) {
+ if (isset($_SESSION['Utils'])) {
+ self::$_instance = unserialize($_SESSION['Utils']);
+ file_put_contents('/tmp/dump', 'Unserialize called: '.var_export(self::$_instance, true), FILE_APPEND);
+ } else {
+ self::$_instance = new Utils();
+ }
+ }
+