";
$content .= "Python Kurs der Computerlinguistik
";
$content .= "";
if ( array_key_exists ($user,$users) ){
if (isset($user) && isset($pass)){
if ( strcmp($users[$user]->getPassword(),md5($pass) ) == 0) {
$_SESSION['user'] = $user;
$_SESSION['password'] = $pass;
// link the user to the apropriate site depending on
// whether or not he is an admin
if ( $users[$user]->isAdmin() ) {
header("Location: admin.php");
}else{
header("Location: overview.php");
}
}else
{
$content .= "Password mismatch";
}
}
}
$content .= "