index 85755a3e95e8ce03e23fdb0bd627e89a90cca7c0..92963d6b01f430715fe9a63851ef06ea13e9fef6 100644 (file)
}
- function save()
+ function save($ignore_account= FALSE)
{
/* Check for new 'dn', in order to propagate the
'dn' to all plugins */