. # # }}} # include("defs.php3"); include_once("osinfo_defs.php"); # # Only known and logged in users. # $this_user = CheckLoginOrDie(); $uid = $this_user->uid(); $isadmin = ISADMIN(); # # Verify page arguments. # $reqargs = RequiredPageArguments("osinfo", PAGEARG_OSINFO); # # Verify permission. # if (!$osinfo->AccessCheck($this_user, $TB_OSID_READINFO)) { USERERROR("You do not have permission to access this OS Descriptor!", 1); } $osid = $osinfo->osid(); $osname = $osinfo->osname(); # # Standard Testbed Header # PAGEHEADER("OSID $osname"); SUBPAGESTART(); SUBMENUSTART("OSID Options"); # # Delete from the image descriptor when its an EZ image. # if ($osinfo->ezid()) { $fooid = rawurlencode($osinfo->osid()); WRITESUBMENUBUTTON("Delete this OS Descriptor", "deleteimageid.php3?imageid=$fooid"); } else { WRITESUBMENUBUTTON("Delete this OS Descriptor", CreateURL("deleteosid", $osinfo)); } WRITESUBMENUBUTTON("Create a new Image Descriptor", "newimageid_ez.php3"); WRITESUBMENUBUTTON("Image Descriptor list", "showimageid_list.php3"); if ($isadmin) { WRITESUBMENUBUTTON("OS Descriptor list", "showosid_list.php3"); WRITESUBMENUBUTTON("Create a new OS Descriptor", "newosid.php3"); } SUBMENUEND(); echo "

\n"; # # Dump os_info record. # $osinfo->Show(); $osinfo->ShowExperiments($this_user); SUBPAGEEND(); # # Standard Testbed Footer # PAGEFOOTER(); ?>