// -*- c++ -*- $maintdir = "."; $topdir = "../.."; require("constants.php3"); require("$authdir/get-login.php3"); get_login(true); // If we get past here, we're logged in do_header("Main menu"); ?>
if ($theUser->getUserType() == 1) { print("