index daad88908e19a8211f9338350e61f0021f146f40..66db8d0019d3012038a4e42ee27f409dee8b78f0 100644 (file)
}
$entry = array();
- if(!isset($_SESSION['config'])){
+ if(!session::is_set('config')){
$entry['user']= "unkown";
}else{
- $this->config = &$_SESSION['config'];
+ $this->config = session::get('config');
$ui = get_userinfo();
$entry['user']= @$ui->dn;
}