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