Harvester项目中Rancher UI嵌入页面加载失败问题分析
问题现象
在Harvester 1.4.1和1.4.2版本中,当用户通过嵌入式Rancher UI访问应用图表页面时,页面无法正常加载,控制台会报出"e.getFeaturedCharts is undefined"或"无法读取未定义的属性'length'"的错误。这个问题影响了用户通过UI界面搜索和安装Helm图表的功能。
技术背景
Harvester是一个基于Kubernetes构建的开源超融合基础设施(HCI)解决方案,它集成了Rancher的管理功能。在Harvester中,Rancher UI是以嵌入式方式运行的,为用户提供集群管理能力。应用图表页面是Rancher UI中用于管理Helm图表的核心功能界面,允许用户浏览、搜索和安装各种应用。
问题根源
经过分析,这个问题源于Harvester嵌入式Rancher UI中的前端代码逻辑缺陷。当页面尝试加载特色图表列表时,代码假设存在一个getFeaturedCharts方法,但实际上该方法未被正确定义或初始化。这导致JavaScript运行时错误,进而中断了整个页面的渲染过程。
值得注意的是,不同浏览器会显示不同的错误信息:
- Firefox浏览器通常会显示"e.getFeaturedCharts is undefined"
- Chrome浏览器则倾向于显示"无法读取未定义的属性'length'"
这种差异是由于不同浏览器对JavaScript错误的处理和报告方式不同所致,但根本原因是相同的。
影响范围
该问题主要影响以下环境:
- Harvester 1.4.1和1.4.2版本
- 嵌入式Rancher UI(版本2.9.3)
- 无论集群是否被上游Rancher管理都会出现此问题
临时解决方案
虽然官方已修复此问题,但在等待更新发布期间,用户可以采用以下方法绕过此限制:
-
直接构造特定Helm图表的安装URL,格式为:
/dashboard/c/local/apps/charts/chart?repo-type=cluster&repo=REPO_NAME&chart=CHART_NAME&version=VERSION -
例如,要安装ceph-rbd CSI驱动,可以使用:
/dashboard/c/local/apps/charts/chart?repo-type=cluster&repo=ceph-csi&chart=ceph-csi-rbd&version=3.14.0
问题修复
该问题已在后续版本中得到修复。修复方案主要涉及前端代码中对特色图表加载逻辑的改进,确保在相关方法不存在时能够优雅降级,而不是导致整个页面崩溃。
最佳实践建议
对于使用Harvester的管理员,建议:
- 定期关注Harvester的版本更新,及时升级到已修复此问题的版本
- 在测试环境中验证新版本后再在生产环境部署
- 对于关键业务所需的Helm图表,考虑预先测试通过直接URL访问的方式是否可行
- 保持对Harvester社区动态的关注,及时获取类似问题的解决方案
通过理解这个问题的本质和解决方案,用户可以更好地管理他们的Harvester环境,确保应用部署流程的顺畅。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C043
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0121
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00