if (this._routeContext && (this._routeContext as RouteContextClass).getServersByType) { const serverinfos = (this._routeContext as RouteContextClass).getServersByType(serverType); if (serverinfos) { servers = serverinfos.map(v => v.id);
if (this._routeContext && (this._routeContext as RouteContextClass).getServersByType) { const serverinfos = (this._routeContext as RouteContextClass).getServersByType(serverType); if (serverinfos) { servers = serverinfos.map(v => v.id);