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"); WRITESUBMENUBUTTON("Delete this OS Descriptor", CreateURL("deleteosid", $osinfo)); if ($isadmin) { WRITESUBMENUBUTTON("Create a new OS Descriptor", "newosid.php3"); } WRITESUBMENUBUTTON("Create a new Image Descriptor", "newimageid_ez.php3"); WRITESUBMENUBUTTON("OS Descriptor list", "showosid_list.php3"); WRITESUBMENUBUTTON("Image Descriptor list", "showimageid_list.php3"); SUBMENUEND(); echo "

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