17 |
printf("</HEAD>\n"); |
printf("</HEAD>\n"); |
18 |
|
|
19 |
|
|
20 |
|
// Default access settings |
21 |
|
$sess_time_human = ""; |
22 |
|
$sess_staff_account = ""; |
23 |
|
$sess_staff_id = 0; |
24 |
|
$sess_access_level = 0; |
25 |
|
$sess_access = ""; |
26 |
|
$sess_last_name = ""; |
27 |
|
$sess_first_name = ""; |
28 |
|
|
29 |
|
|
30 |
// Page header |
// Page header |
31 |
require_once ($GLOBAL_ADMIN_HEADER); |
require_once ($GLOBAL_ADMIN_HEADER); |
32 |
|
|
66 |
printf("<br><br>\n"); |
printf("<br><br>\n"); |
67 |
|
|
68 |
// Draw a radio-button pick table |
// Draw a radio-button pick table |
69 |
selectFaculty($con); |
selectFaculty(); |
70 |
|
|
71 |
// The buttons |
// The buttons |
72 |
printf("<BR>\n"); |
printf("<BR>\n"); |