From d173b6a4869bc60527b3c89ca0b6527ef8ee9bdf Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bar=C4=B1=C5=9F=20Metin?= <Talip-Baris.Metin@sophia.inria.fr>
Date: Thu, 9 Apr 2009 13:42:08 +0000
Subject: [PATCH] simple patch to try to fix the session error.

---
 planetlab/includes/plc_session.php | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/planetlab/includes/plc_session.php b/planetlab/includes/plc_session.php
index 91fb247..1afbc7a 100644
--- a/planetlab/includes/plc_session.php
+++ b/planetlab/includes/plc_session.php
@@ -23,6 +23,10 @@ require_once 'plc_config.php';
 // Usually in /usr/share/plc_api/php
 require_once 'plc_api.php';
 
+
+require_once 'plc_functions.php';
+
+
 $cwd = getcwd();
 chdir($_SERVER['DOCUMENT_ROOT']);
 $included = include_once('./includes/bootstrap.inc');
@@ -155,4 +159,11 @@ if (!empty($_SESSION['plc'])) {
 // For convenience
 $api = $plc->api;
 
+if ($api && $api->AuthCheck() != 1) {
+  $current_pagename = basename($_SERVER['PHP_SELF']);
+  if ($current_pagename != basename(l_logout())) {
+    plc_redirect(l_logout());
+  }
+}
+
 ?>
-- 
2.47.0