is it possible that this fails? (and we get a ResourceNotFound again when accessing server[dbname] in the line below)