<?php

/* Session management */
function nb_sessions() {
  global $ses;

  return count($ses);
}

function get_all_sessions() {
  global $ses;

  return $ses;
}

function check_session($uid, $sid) {
  global $ses;

  $time = time ();
  if (count($ses))
    foreach ($ses as $s)
      if (($s["uid"] == $uid) && ($s["sid"] == $sid) && ($s["time"] > $time))
	return $s["sid"];
  
  return 0;
}

function add_session($uid, $time) {
  global $ses;
 
  if ($uid == 0)
    return false;
  
  $sid = 0;
  while ($sid == 0) {
    if (count($ses))
      foreach ($ses as $s)
	if ($s["sid"] == $sid) {
	  $sid = 0;
	  break;
	}
    $sid = rand();
  }

  $id = 0;
  if (count($ses))
    foreach ($ses as $s)
      if ($s["id"] > $id)
	$id = $s["id"];

  $ses[] = array("id" => ++$id, "uid" => $uid, "sid" => $sid,
                 "time" => $time);

  if (store_session($id) == 1)
    return $sid;

  return 0;
}

function delete_session($uid, $sid) {
  global $ses;
  
  if (count($ses))
    foreach ($ses as $key => $s)
      if ($s["sid"] == $sid) {
	$id = $s["id"];
	unset($ses[$key]);
	return store_session($id);
      }
  
  return 0;
}

/* Initialization */

include($lib_dir.$db_type."/session.php");

?>