// -*- c++ -*- if ($maintdir == "") $maintdir = ".."; require("$maintdir/constants.php3"); require("$authdir/constants.php3"); require("$authdir/perror-list.php3"); require("$authdir/perror-function.php3"); require("$classdir/User.php3"); require("$authdir/write-log.php3"); require("$authdir/check-flags.php3"); // Success function function do_success($user) { global $SUCCESS_URL; global $cookieName; global $theUser; global $utflag_expiring_cookies; // Log it $theUser = $user; write_log("Login: " . $user->getGecos()); // Give the user a cookie $user->makeCookie(); setCookie($cookieName, $user->getCookie(), 0, "/"); // Go to the next URL if ($SUCCESS_URL <> "") { Header("Location: $SUCCESS_URL"); } else { print("
You have successfully logged in.