// -*- c++ -*- if ($maintdir == "") $maintdir = ".."; require("$maintdir/constants.php3"); require("$authdir/constants.php3"); require("$authdir/get-login.php3"); require("$authdir/write-log.php3"); get_login(0); if ($theUser->valid) { write_log("Logout: " . $theUser->getID() . " (" . $theUser->getGecos() . ")"); } $saveCookie = $$cookieName; // Don't need to set the cookie -- just clear it out in the DB //setcookie($cookieName, "", "", "/"); ?>
You have been logged out.\n"); $theUser->clearCookie(""); } else printf("
You did not appear to have been logged in.\n"); print("\n
Click here to login.\n"); print("\n
Click here to return to the FAQ.\n"); ?>