// Called when the server database context changes (ENVCHANGE token)
internal override void DefaultDatabaseChanged(string databaseName)
{
if (null == _parent)
{
throw SQL.UnexpectedSmiEvent(UnexpectedEventType.DefaultDatabaseChanged);
}
_parent.DefaultDatabaseChanged(databaseName);
}
