...

[banana.git] / include / session.inc

diff --git a/include/session.inc b/include/session.inc
index c31441ebf07d2dfae9d591df0091ee8c22ea8e9f..554ac1fc1397a9c93bbbcdeab7d454a77fc16296 100644 (file)
--- a/include/session.inc
+++ b/include/session.inc
@@ -1,28 +1,33 @@
 <?php
-  $result=$db->query("SELECT id,examples,nexamples FROM sessions ORDER BY id");
-  $SESSIONS_next = -1;
-  $SESSIONS_actual = -1;
+  require 'db.inc';
+
+  if ( ! isset($SESSIONS) ) {
+    $result=$db->query("SELECT id,examples,nexamples FROM sessions ORDER BY id");
+    $SESSIONS_next = -1;
+    $SESSIONS_actual = -1;
   
-  while ($session = $result->fetch(PDO::FETCH_ASSOC)) {
-    $SESSIONS[$session['id']] = array("id" => $session['id'], "timestr" => date("d.m.Y H:i", $session['id']),
-      "workdone" => $db->query("SELECT COUNT(*) FROM workdone WHERE session=" . $session['id'])->fetch(PDO::FETCH_NUM)[0],
-      "examples" => $session['examples'], "nexamples" => $session['nexamples']);
-    if ( strtotime("now") < $session['id'] && ( $SESSIONS_next==-1 || $SESSIONS_next > $session['id'] )  ) {
-      $SESSIONS_next = $session['id'];
-    }
-    if ( strtotime("now") < $session['id'] + 3600  && ( $SESSIONS_actual==-1 || $SESSIONS_actual > $session['id'] )  ) {
-      $SESSIONS_actual = $session['id'];
+    while ($session = $result->fetch(PDO::FETCH_ASSOC)) {
+      $SESSIONS[$session['id']] = array("id" => $session['id'], "timestr" => date("d.m.Y H:i", $session['id']),
+        "workdone" => $db->query("SELECT COUNT(*) FROM workdone WHERE session=" . $session['id'])->fetch(PDO::FETCH_NUM)[0],
+        "examples" => $session['examples'], "nexamples" => $session['nexamples']);
+      if ( strtotime("now") < $session['id'] && ( $SESSIONS_next==-1 || $SESSIONS_next > $session['id'] )  ) {
+        $SESSIONS_next = $session['id'];
+      }
+      if ( strtotime("now") < $session['id'] + 3600  && ( $SESSIONS_actual==-1 || $SESSIONS_actual > $session['id'] )  ) {
+        $SESSIONS_actual = $session['id'];
+      }
     }
-  }
-  if($SESSIONS_next == -1) unset($SESSIONS_next);
+    if($SESSIONS_next == -1) unset($SESSIONS_next);
+    if($SESSIONS_actual == -1) unset($SESSIONS_actual);
 
-  $SESSIONS_totex = 0;
-  foreach ($SESSIONS as $session) {
-    if($session['id'] < $SESSIONS_next) { $SESSIONS_totex += $session['nexamples']; }
-  }
+    $SESSIONS_totex = 0;
+    foreach ($SESSIONS as $session) {
+      if($session['id'] < $SESSIONS_next) { $SESSIONS_totex += $session['nexamples']; }
+    }
 
-  $SESSIONS_totex_nextinc = 0;
-  foreach ($SESSIONS as $session) {
-    if($session['id'] <= $SESSIONS_next) { $SESSIONS_totex_nextinc += $session['nexamples']; }
+    $SESSIONS_totex_nextinc = 0;
+    foreach ($SESSIONS as $session) {
+      if($session['id'] <= $SESSIONS_next) { $SESSIONS_totex_nextinc += $session['nexamples']; }
+    }
   }
 ?>