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";
}
#
# An edit option.
#
echo "
Edit this Group?
\n";
#
# A delete option, but not for the default group!
#
if (strcmp($gid, $pid)) {
echo "
Delete this Group?
\n";
}
#
# Standard Testbed Footer
#
PAGEFOOTER();
?>