internal void ForgetDatabase(Database db)
{
// remove from cached list of dbs
Sharpen.Collections.Remove(databases, db.GetName());
// remove from list of replications
// TODO: should there be something that actually stops the replication(s) first?
IEnumerator <Replication> replicationIterator = this.replications.GetEnumerator();
while (replicationIterator.HasNext())
{
Replication replication = replicationIterator.Next();
if (replication.GetLocalDatabase().GetName().Equals(db.GetName()))
{
replicationIterator.Remove();
}
}
}