\r\n";
} else {
$from_header = "From: $from_addr\r\n";
}
$headers = $from_header.'X-Mailer: PHP/'.phpversion()."\r\n".$extra_headers;
$now = date_create_from_format('U.u', $_SERVER['REQUEST_TIME_FLOAT']);
$filename = 'mail_'.date_format($now, "YmdGisu").'_'.$to.'.txt';
$bytes = file_put_contents($data.$filename, ($mail_inhibit?"INHIBITED\n":'').$headers."Subject: ".$subject."\r\n".$message);
echo("filename=$filename $bytes");
?>
Inloggen met 'single-sign-on'
Leerlingen en docenten van het OVC kunnen hier inloggen met hun schoolemailadres.
Inloggen met lokaal wachtwoord
Leerlingen loggen in met hun leerlingnummer en docenten doen dat met het eerste deel van hun schoolemail. Het wachtwoord is het schoolwachtwoord dat je zelf hebt ingesteld op https://srv-ovc-linux.ovc.nl/checkset/.
om je goed in het systeem te laten zetten');
} else if ($_SESSION['type'] == 'personeel') {
// afkorting nog niet gekoppeld aan login
if (isset($kldv) && $kldv !== NULL) {
header('Location: '.dirname($_SERVER['PHP_SELF']).'/'.'call.php?action=set_staff_id');
exit;
}
} else error_system('IMPOSSIBLE, unknown $type = '.$type);
}
}
function get_schoolyear($timestamp) {
$year = date('Y', $timestamp);
$month = date('m', $timestamp);
if ($month < 8) return ($year - 1).'/'.$year;
else return $year.'/'.($year + 1);
}
/* get rid of slashes produced by a moronic default setting on which
* some software still relies... */
function cleanup_magic_quotes(&$array) {
foreach ($array as $key => &$value) {
if (is_array($value)) cleanup_magic_quotes($value);
else $value = stripslashes($value);
}
}
if (/*get_magic_quotes_gpc()*/false) {
if (isset($_GET)) cleanup_magic_quotes($_GET);
if (isset($_POST)) cleanup_magic_quotes($_POST);
}
// shorthands
function htmlenc($string) {
return htmlspecialchars($string, ENT_QUOTES, 'UTF-8');
}
function htmldec($string) {
return htmlspecialchars_decode($string, ENT_QUOTES);
}
function error_user($title, $msg, $subscript = NULL) {
//apache_note('phplib_action', $_SERVER['PHP_SELF'].':'.$title.':'.$msg);
$_SESSION['err'][0] = $title;
$_SESSION['err'][1] = $msg;
header('Location: '.dirname($_SERVER['PHP_SELF']).'/'.$subscript);
exit;
}
function notice_user($title, $msg, $subscript = NULL) {
$_SESSION['notice'][0] = $title;
$_SESSION['notice'][1] = $msg;
header('Location: '.dirname($_SERVER['PHP_SELF']).'/'.$subscript);
exit;
}
function error_system($string) {
global $sysop_email, $sysop_name, $mail_emerg_from;
if (php_sapi_name() == 'cli') {
echo('error: '.$string."\n");
exit;
}
apache_note('phplib_action', 'SYSTEM ERROR '.$string);
header('Content-Type: text/plain');
header('Content-Disposition: inline; filename=error.txt;');
if (isset($_SESSION['username'])) {
$username = $_SESSION['username'];
if ($_SESSION['admin']) $username .= ' ADMIN';
if ($_SESSION['admin_sql']) $username .= ' SQL';
if (isset($_SESSION['orig_username'])) $username .= ' (orig: '.$_SESSION['orig_username'].')';
} else $username = '-NONE-';
$msg = <<