// Copyright: Copyright (C) 2002-2007 Pristine Communications // logout: Log out a user function logout() { unset($_SESSION["usersn"]); unset($_SESSION["userid"]); unset($_SESSION["username"]); unset($_SESSION["userpref"]); unset($_SESSION["groups"]); unset($_SESSION["admin"]); unset($_SESSION["guest"]); unset($_SESSION["bylogin"]); return; } ?>