$msg, 'title' => $title), JSON_UNESCAPED_UNICODE)."\n"); exit; } /* function mail_backend_default($from, $to, $headers, $subject, $message) { return mail($to, $subject, $message, $headers, '-f '.$from); } function phplib_mail($from_name, $from_addr, $to, $extra_headers, $subject, $message) { global $data, $mail_backend, $mail_inhibit; if (!filter_var($from_addr, FILTER_VALIDATE_EMAIL)) error_system("emailadres FROM $from is invalid"); if (!filter_var($to, FILTER_VALIDATE_EMAIL)) error_system("emailadres TO $to is invalid"); if ($from_name) { $from_header = "From: $from_name <$from_addr>\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.

Login(*): onthoud login

(*) inloggen kan over het algemeen met je gebruikersnaam, als dat niet werkt dan moet het eenmalig met je volledige emailadres

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/.

Gebruikersnaam:
Wachtwoord:
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) { if (isset($json_api) && $json_api) json_api_fail(403, 'Onbekende gebruiker', 'Koppel eerst je afkorting via de website'); 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) { global $json_api; //apache_note('phplib_action', $_SERVER['PHP_SELF'].':'.$title.':'.$msg); if (isset($json_api) && $json_api) json_api_fail(400, $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, $json_api; if (php_sapi_name() == 'cli') { echo('error: '.$string."\n"); exit; } apache_note('phplib_action', 'SYSTEM ERROR '.$string); if (isset($json_api) && $json_api) { logit('FATAL: '.$string); if (isset($mail_emerg_from) && filter_var($sysop_email, FILTER_VALIDATE_EMAIL) && filter_var($mail_emerg_from, FILTER_VALIDATE_EMAIL)) phplib_mail_emerg($string."\nscript: ".$_SERVER['PHP_SELF']."\nquery_string: ".$_SERVER['QUERY_STRING']); json_api_fail(500, 'Systeemfout', $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 = <<