[feladat @ 72]
After a user had logged out, the menu bar was still shown until a
reloading the login screen. [Fix: Peter Beernink]
<?
include_once("inc/config.inc.php");
$language = $LANG;
setlocale(LC_ALL, $language);
$gettext_domain = 'messages';
bindtextdomain($gettext_domain, "./locale");
textdomain($gettext_domain);
?>