-?>
-<HTML>
-<?
- echo "<BODY TEXT=000000 BGCOLOR=FFFFFF LINK=0000CC VLINK=0000CC ALINK=0000CC>\n";
-
- // let's check to see if they compiled with gettext support
- if (!function_exists("_")) {
- echo "<CENTER>PHP was not configured --with-gettext. Reconfigure and try again.</CENTER></BODY></HTML>";
- exit;
- }
+ // Need the base URI to set the cookies. (Same code as in webmail.php)
+ ereg ("(^.*/)[^/]+/[^/]+$", $PHP_SELF, $regs);
+ $base_uri = $regs[1];
+
+ setcookie("username", '', 0, $base_uri);
+ setcookie("key", '', 0, $base_uri);
+ setcookie("logged_in", 0, 0, $base_uri);
+ header ("Pragma: no-cache");
+
+ // In case the last session was not terminated properly, make sure
+ // we get a new one.
+ $cookie_params = session_get_cookie_params();
+ setcookie(session_name(),"",0,$cookie_params["domain"].$cookie_params["path"]);
+
+ do_hook('login_cookie');
+ echo "<HTML>";
+ echo "<HEAD><TITLE>";
+ echo $org_name . " - " . _("Login");
+ echo "</TITLE></HEAD>\n";
+ echo "<BODY TEXT=000000 BGCOLOR=#FFFFFF LINK=0000CC VLINK=0000CC ALINK=0000CC>\n";
+ echo "<FORM ACTION=\"redirect.php\" METHOD=\"POST\" NAME=f>\n";
+
+ $username_form_name = 'login_username';
+ $password_form_name = 'secretkey';
+ do_hook('login_top');