"; } else { $logged_in = true; session_start(); $row=db_fetch_array($result); $_SESSION["userid"]=$row["id"]; } include("commonhead.php"); ?>
" . _("You're not known to the system.") . "
"); print(_("Please go back and try again.") . "

"); } else { include("userhead.php"); // echo _("Session with ID: ").session_id()."
"; // echo _("UID: ").$_SESSION["userid"]."
"; print("

"); printf(_("You may now see your Domain list."), "domainlist.php"); print("

"); } ?>