<?php

require_once("misc.php");

/* Session management for plain text */

function load_session() {
  global $sessions;
  global $ses;

  if ((!file_exists($sessions)) || (!lock($sessions)) ||
      (!($f = fopen($sessions, 'r'))))
    return 0;

  while (!feof($f)) {
    list($id, $uid, $sid, $time) = explode (" ", rtrim(fgets($f, 1024)), 4);
    if (!$id) continue;
    $ses[] = array("id" => $id, "uid" => $uid, "sid" => $sid, "time" => $time);
  }
  fclose($f);
  unlock($sessions);

  return 1;
}


function store_session($id = 0) {
  global $sessions;
  global $ses;

  if  ((!lock($sessions)) || (!($f = fopen($sessions, 'w'))))
    return 0;

  $time = time();
  foreach ($ses as $s)
    if ($s["time"] > $time) 
      fputs ($f, $s["id"]." ".$s["uid"]." ".$s["sid"]." ".$s["time"]."\n");

  fclose($f);
  unlock($sessions);

  return 1;
}

/* Initialization */

load_session();

?>