index 396ee2233d874bc9a0beb5575c882e8db43c0a35..385e88e865a2f3ba51b5e2953291be4089fde6bb 100644 (file)
if(session::is_set('DeviceManagement')){
$DeviceManagement = session::get('DeviceManagement');
$DeviceManagement->remove_lock();
- del_lock ($ui->dn);
session::un_set ('DeviceManagement');
}
} else {