From 8c1f6d2c9c36d84bff629e4bd1e1fdbbe4b83d76 Mon Sep 17 00:00:00 2001
From: Felix Favre <felix.favre@protonet.info>
Date: Wed, 26 Aug 2015 13:33:38 +0200
Subject: removed sessionhelper. we should let this handle the server
 administrator within the PHP config

---
 includes/helper/session_helper.php | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 includes/helper/session_helper.php

(limited to 'includes/helper')

diff --git a/includes/helper/session_helper.php b/includes/helper/session_helper.php
deleted file mode 100644
index 443701ee..00000000
--- a/includes/helper/session_helper.php
+++ /dev/null
@@ -1,30 +0,0 @@
-<?php
-/**
- * Set lifetime of php session.
- *
- * @param int $lifetime
- *          Lifetime in minutes
- * @param string $application_name
- *          Name of the application
- */
-function session_lifetime($lifetime, $application_name) {
-  // Set session save path and name
-  $session_save_path = '/tmp/' . $application_name;
-  if (! file_exists($session_save_path))
-    mkdir($session_save_path);
-  if (file_exists($session_save_path))
-    session_save_path($session_save_path);
-  session_name($application_name);
-  
-  // Set session lifetime
-  ini_set('session.gc_maxlifetime', $lifetime * 60);
-  ini_set('session.gc_probability', 1);
-  ini_set('session.gc_divisor', 100);
-  
-  // Cookie settings (lifetime)
-  ini_set('session.cookie_secure', ! (isset($_SERVER['HTTP_HOST']) && preg_match("/^localhost/", $_SERVER["HTTP_HOST"]) || isset($_GET['debug'])));
-  ini_set('session.use_only_cookies', true);
-  ini_set('session.cookie_lifetime', $lifetime * 60);
-}
-
-?>
\ No newline at end of file
-- 
cgit v1.2.3-54-g00ecf