Fix some Mike nits.

www/menu.php3

@@ -144,6 +144,8 @@ function WRITESIDEBAR() {
 				   $TBBASE, "showexp_list.php3");
 		WRITESIDEBARBUTTON("Begin an Experiment",
 				   $TBBASE, "beginexp.php3");
+		WRITESIDEBARBUTTON("OSIDs and ImageIDs",
+				   $TBBASE, "showosid_list.php3");
 		WRITESIDEBARBUTTON("Update User Information",
 				   $TBBASE, "moduserinfo.php3");
 		WRITESIDEBARBUTTON("Node Reservation Status",

www/newimageid.php3

@@ -765,9 +765,9 @@ WRITESUBMENUBUTTON("Create a new Image Descriptor",
 		   "newimageid_explain.php3");
 WRITESUBMENUBUTTON("Create a new OS Descriptor",
 		   "newosid_form.php3");
-WRITESUBMENUBUTTON("Back to Image Descriptor list",
+WRITESUBMENUBUTTON("Image Descriptor list",
 		   "showimageid_list.php3");
-WRITESUBMENUBUTTON("Back to OS Descriptor list",
+WRITESUBMENUBUTTON("OS Descriptor list",
 		   "showosid_list.php3");
 SUBMENUEND();
 

www/newimageid_ez.php3

@@ -621,9 +621,9 @@ WRITESUBMENUBUTTON("Create a new Image Descriptor",
 		   "newimageid_explain.php3");
 WRITESUBMENUBUTTON("Create a new OS Descriptor",
 		   "newosid_form.php3");
-WRITESUBMENUBUTTON("Back to Image Descriptor list",
+WRITESUBMENUBUTTON("Image Descriptor list",
 		   "showimageid_list.php3");
-WRITESUBMENUBUTTON("Back to OS Descriptor list",
+WRITESUBMENUBUTTON("OS Descriptor list",
 		   "showosid_list.php3");
 SUBMENUEND();
 

www/newosid.php3

@@ -204,9 +204,9 @@ WRITESUBMENUBUTTON("Create a new OS Descriptor",
 		   "newosid_form.php3");
 WRITESUBMENUBUTTON("Create a new Image Descriptor",
 		   "newimageid_explain.php3");
-WRITESUBMENUBUTTON("Back to OS Descriptor list",
+WRITESUBMENUBUTTON("OS Descriptor list",
 		   "showosid_list.php3");
-WRITESUBMENUBUTTON("Back to Image Descriptor list",
+WRITESUBMENUBUTTON("Image Descriptor list",
 		   "showimageid_list.php3");
 SUBMENUEND();
 

www/showexp_list.php3

@@ -235,7 +235,7 @@ if (mysql_num_rows($experiments_result)) {
 	$pid  = $row["pid"];
 	$eid  = $row["eid"]; 
 	$huid = $row["expt_head_uid"];
-	$name = $row["expt_name"];
+	$name = stripslashes($row["expt_name"]);
 	$date = $row["d"];
 	$state= $row["state"];
 	$daysidle=0;

www/showgroup.php3

@@ -94,7 +94,7 @@ if (mysql_num_rows($query_result)) {
 
     while ($row = mysql_fetch_row($query_result)) {
         $eid  = $row[0];
-        $name = $row[1];
+        $name = stripslashes($row[1]);
 	if (!$name)
 	    $name = "--";
         echo "<tr>

www/showimageid.php3

@@ -48,9 +48,9 @@ WRITESUBMENUBUTTON("Create a new Image Descriptor",
 		   "newimageid_explain.php3");
 WRITESUBMENUBUTTON("Create a new OS Descriptor",
 		   "newosid_form.php3");
-WRITESUBMENUBUTTON("Back to Image Descriptor list",
+WRITESUBMENUBUTTON("Image Descriptor list",
 		   "showimageid_list.php3");
-WRITESUBMENUBUTTON("Back to OS Descriptor list",
+WRITESUBMENUBUTTON("OS Descriptor list",
 		   "showosid_list.php3");
 SUBMENUEND();
 

www/showimageid_list.php3

@@ -65,7 +65,7 @@ WRITESUBMENUBUTTON("Create an Image Descriptor",
 		   "newimageid_explain.php3");
 WRITESUBMENUBUTTON("Create an OS Descriptor",
 		   "newosid_form.php3");
-WRITESUBMENUBUTTON("Back to OS Descriptor list",
+WRITESUBMENUBUTTON("OS Descriptor list",
 		   "showosid_list.php3");
 SUBMENUEND();
 SUBPAGEEND();
@@ -86,7 +86,7 @@ while ($row = mysql_fetch_array($query_result)) {
     $imageid    = $row[imageid];
     # Must encode the imageid since Rob started using plus signs in the names.
     $url        = rawurlencode($imageid);
-    $descrip    = $row[description];
+    $descrip    = stripslashes($row[description]);
     $imagename  = $row[imagename];
     $pid        = $row[pid];
 

www/shownsfile.php3

@@ -115,7 +115,7 @@ $query_result =
     DBQueryFatal("SELECT nsfile from nsfiles where pid='$pid' and eid='$eid'");
 if (mysql_num_rows($query_result)) {
     $row    = mysql_fetch_array($query_result);
-    $nsfile = $row[nsfile];
+    $nsfile = stripslashes($row[nsfile]);
 
     echo "<XMP>$nsfile</XMP>\n";
     flush();

www/showosid_list.php3

@@ -67,7 +67,7 @@ WRITESUBMENUBUTTON("Create an Image Descriptor",
 		   "newimageid_explain.php3");
 WRITESUBMENUBUTTON("Create an OS Descriptor",
 		   "newosid_form.php3");
-WRITESUBMENUBUTTON("Back to Image Descriptor list",
+WRITESUBMENUBUTTON("Image Descriptor list",
 		   "showimageid_list.php3");
 SUBMENUEND();
 
@@ -99,7 +99,7 @@ echo "<tr>
 while ($row = mysql_fetch_array($query_result)) {
     $osname  = $row[osname];
     $osid    = $row[osid];
-    $descrip = $row[description];
+    $descrip = stripslashes($row[description]);
     $pid     = $row[pid];
 
     echo "<tr>

www/showosinfo.php3

@@ -45,9 +45,9 @@ WRITESUBMENUBUTTON("Create a new OS Descriptor",
 		   "newosid_form.php3");
 WRITESUBMENUBUTTON("Create a new Image Descriptor",
 		   "newimageid_explain.php3");
-WRITESUBMENUBUTTON("Back to OS Descriptor list",
+WRITESUBMENUBUTTON("OS Descriptor list",
 		   "showosid_list.php3");
-WRITESUBMENUBUTTON("Back to Image Descriptor list",
+WRITESUBMENUBUTTON("Image Descriptor list",
 		   "showimageid_list.php3");
 SUBMENUEND();
 

www/showproject.php3

@@ -76,7 +76,7 @@ if (mysql_num_rows($query_result)) {
 	$eid  = $projrow[eid];
 	$state= $projrow[state];
 	$nodes= $projrow["count(r.node_id)"];
-	$name = $projrow[expt_name];
+	$name = stripslashes($projrow[expt_name]);
 
         echo "<tr>
                  <td><A href='showexp.php3?pid=$pid&eid=$eid'>$eid</A></td>
@@ -154,7 +154,7 @@ if (mysql_num_rows($query_result)) {
 
     while ($row = mysql_fetch_array($query_result)) {
         $gid      = $row[gid];
-        $desc     = $row[description];
+        $desc     = stripslashes($row[description]);
 	$leader   = $row[leader];
 
         echo "<tr>

www/showproject_dump.php3

@@ -21,7 +21,7 @@ echo "<center>
 
 $proj_created	= $row[created];
 $proj_expires	= $row[expires];
-$proj_name	= $row[name];
+$proj_name	= stripslashes($row[name]);
 $proj_URL	= $row[URL];
 $proj_funders	= $row[funders];
 $proj_head_uid	= $row[head_uid];

www/showproject_list.php3

@@ -140,7 +140,7 @@ function GENPLIST ($query_result)
     while ($projectrow = mysql_fetch_array($query_result)) {
 	$pid        = $projectrow[pid];
 	$headuid    = $projectrow[head_uid];
-	$Pname      = $projectrow[name];
+	$Pname      = stripslashes($projectrow[name]);
 	$approved   = $projectrow[approved];
 	$expt_count = $projectrow[expt_count];
 	$public     = $projectrow[public];

www/showstuff.php3

@@ -27,7 +27,7 @@ function SHOWPROJECT($pid, $thisuid) {
     
     $proj_created	= $row[created];
     $proj_expires	= $row[expires];
-    $proj_name		= $row[name];
+    $proj_name		= stripslashes($row[name]);
     $proj_URL		= $row[URL];
     $proj_public        = $row[public];
     $proj_funders	= $row[funders];
@@ -159,7 +159,7 @@ function SHOWGROUP($pid, $gid) {
 
     $leader	= $row[leader];
     $created	= $row[created];
-    $description= $row[description];
+    $description= stripslashes($row[description]);
     $expt_count = $row[expt_count];
     $expt_last  = $row[expt_last];
     $unix_gid   = $row[unix_gid];
@@ -329,11 +329,11 @@ function SHOWUSER($uid) {
     $usr_expires = $row[usr_expires];
     $usr_email   = $row[usr_email];
     $usr_URL     = $row[usr_URL];
-    $usr_addr    = $row[usr_addr];
-    $usr_name    = $row[usr_name];
+    $usr_addr    = stripslashes($row[usr_addr]);
+    $usr_name    = stripslashes($row[usr_name]);
     $usr_phone   = $row[usr_phone];
-    $usr_title   = $row[usr_title];
-    $usr_affil   = $row[usr_affil];
+    $usr_title   = stripslashes($row[usr_title]);
+    $usr_affil   = stripslashes($row[usr_affil]);
     $status      = $row[status];
     $admin       = $row[admin];
     $adminoff    = $row[adminoff];
@@ -458,7 +458,7 @@ function SHOWEXP($pid, $eid) {
 
     $exp_gid     = $exprow[gid];
     $exp_expires = $exprow[expt_expires];
-    $exp_name    = $exprow[expt_name];
+    $exp_name    = stripslashes($exprow[expt_name]);
     $exp_created = $exprow[expt_created];
     $exp_start   = $exprow[expt_start];
     $exp_swapped = $exprow[expt_swapped];
@@ -714,7 +714,7 @@ function SHOWOSINFO($osid) {
 
     $osrow = mysql_fetch_array($query_result);
 
-    $os_description = $osrow[description];
+    $os_description = stripslashes($osrow[description]);
     $os_OS          = $osrow[OS];
     $os_version     = $osrow[version];
     $os_path        = $osrow[path];
@@ -840,7 +840,7 @@ function SHOWIMAGEID($imageid, $edit) {
 
     $imagename   = $row[imagename];
     $pid         = $row[pid];
-    $description = $row[description];
+    $description = stripslashes($row[description]);
     $loadpart	 = $row[loadpart];
     $loadlength	 = $row[loadlength];
     $part1_osid	 = $row[part1_osid];

www/showuser.php3

@@ -99,7 +99,7 @@ if (mysql_num_rows($query_result)) {
 	$eid  = $projrow[eid];
 	$state= $projrow[state];
 	$nodes= $projrow["count(r.node_id)"];
-	$name = $projrow[expt_name];
+	$name = stripslashes($projrow[expt_name]);
 
         echo "<tr>
                  <td><A href='showproject.php3?pid=$pid'>$pid</A></td>