$prjSel->setJoin('milestone_grp using (prj_id,milestone)');
$prjList = $prjSel->getSelector();
$sql = "select * from student\n" . "where snummer={$peer_id}";
$resultSet = $dbConn->Execute($sql);
if ($resultSet === false) {
print "error fetching judge data with {$sql} : " . $dbConn->ErrorMsg() . "<br/>\n";
}
if (!$resultSet->EOF) {
extract($resultSet->fields);
}
$page_opening = "Email to group members From: {$roepnaam} {$voorvoegsel} {$achternaam} <span style='font-family: courier'><{$email1}></span>";
$page = new PageContainer();
$page->setTitle('Mail-list page');
$nav = new Navigation($tutor_navtable, basename($PHP_SELF), $page_opening);
$page->addBodyComponent($nav);
$page->addFileContentsOnce('templates/tinymce_include.html');
$page->addHeadText('<script type="text/javascript">
function checkThem(ref,state){
var checks = document.getElementsByName(ref);
var boxLength = checks.length;
for ( i=0; i < boxLength; i++ ) {
checks[i].checked = state;
}
}
function unCheckThem(ref){
var checks = document.getElementsByName(ref);
var boxLength = checks.length;
for ( i=0; i < boxLength; i++ ) {
checks[i].checked = false;
}
}
