Do you want to edit this Group?
Yes
\n";
SHOWGROUPMEMBERS($pid, $gid);
#
# A list of Group experiments.
#
$query_result =
DBQueryFatal("SELECT eid,expt_name FROM experiments ".
"WHERE pid='$pid' and gid='$gid'");
if (mysql_num_rows($query_result)) {
echo "
Group Experiments
\n";
while ($row = mysql_fetch_row($query_result)) {
$eid = $row[0];
$name = $row[1];
if (!$name)
$name = "--";
echo "
|
$eid
|
$name |
\n";
}
echo "
\n";
}
#
# A delete option, but not for the default group!
#
if (strcmp($gid, $pid)) {
echo "
Do you want to delete this Group?
Yes
\n";
}
#
# Standard Testbed Footer
#
PAGEFOOTER();
?>