decrypt_login();
logNewMessage(LOG_NOTICE, 'User ' . $ldapUser[0] . ' logged off.');
// close LDAP connection
@$_SESSION["ldap"]->destroy();
setlanguage();
echo $_SESSION['header'];
// destroy session
session_destroy();
unset($_SESSION);
// print logout message
?>
<?php echo _("Logout"); ?>
