UniversalMediaServer 14.11.0版本发布:媒体服务功能全面升级
UniversalMediaServer(简称UMS)是一款开源的DLNA/UPnP媒体服务器软件,它能够将用户电脑中的多媒体内容(如视频、音乐、图片等)流式传输到各种支持DLNA/UPnP协议的设备上,包括智能电视、娱乐设备、手机和平板电脑等。作为一款跨平台解决方案,UMS支持Windows、macOS和Linux三大操作系统。
核心功能改进
媒体播放器兼容性增强
本次14.11.0版本在媒体播放器兼容性方面做出了重要改进。针对Kodi播放器的转码支持得到了修复,这意味着用户现在可以更流畅地在Kodi上播放需要转码的视频内容。同时,针对三星C/D系列电视的H.264级别限制问题也得到了解决,提升了视频在这些设备上的播放兼容性。
用户界面与交互优化
新版本对Web设置界面和Web播放器的通知系统进行了显著改进。错误通知现在会保持打开状态,确保用户不会错过重要信息;而普通信息通知的自动关闭时间也被延长,给予用户更多阅读时间。此外,Web播放器新增了全屏快捷键(F键),提升了键盘操作的便捷性。
系统稳定性提升
开发团队修复了多个可能导致系统崩溃的问题,包括:
- 扫描和浏览带有隐藏字幕的视频时可能发生的崩溃
- 两个播放器同时播放时可能出现的计时器错误
- Windows系统下程序数据卸载不彻底的问题
- 自动更新窗口内容显示不全的问题
技术架构升级
依赖项版本更新
14.11.0版本包含了多项重要依赖项的版本升级:
- 前端框架React升级至v19版本
- 构建工具Vite升级至v6版本
- 测试框架Playwright升级至1.50.1
- 日志组件Logback升级至1.5.17
- JSON处理库Gson升级至2.12.1
这些升级不仅带来了性能提升,还引入了新的特性和安全补丁。
构建系统改进
项目已迁移至Yarn Modern(corepack)作为包管理工具,这为开发者提供了更高效的依赖管理体验。同时,开发团队恢复了x86架构的Windows构建包,虽然这一架构的支持不会永久持续,但暂时满足了部分用户的需求。
国际化支持
通过Crowdin平台,意大利语和波兰语的翻译进度分别达到了59%和55%,体现了项目对国际化支持的持续投入。
未来展望
开发团队透露,V15版本的开发工作正在进行中,预计将带来更多用户界面改进。虽然具体细节尚未公布,但可以期待更现代化、更易用的操作体验。
总结
UniversalMediaServer 14.11.0版本在媒体兼容性、用户界面、系统稳定性和技术架构等多个方面都有显著提升。特别是对Kodi和三星电视播放支持的改进,以及对React 19和Vite 6的适配,都体现了项目团队对产品质量和技术前沿的关注。对于需要使用DLNA/UPnP媒体服务器的用户来说,这次升级值得关注。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C045
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0122
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00