Jackett项目中的NewHeaven索引器开发与优化
背景介绍
在Jackett这个开源的Torrent索引器聚合项目中,开发者们正在为NewHeaven这个德国私有Tracker添加支持。NewHeaven是一个专注于德语资源的私有Tracker,内容涵盖电影、音频、电视节目和通用资源。该项目需要将原有的C#实现转换为更现代的YAML格式,并解决一系列技术挑战。
技术挑战与解决方案
1. 搜索时间参数处理
原实现中使用了不直观的数值编码来表示时间范围(0表示任意时间,1表示1天,2表示1周等)。经过优化后,改为直接使用"自上传以来的天数"这一更直观的参数,0表示所有时间范围。这种改进使API接口更加清晰易懂。
2. 元素选择器优化
在HTML解析过程中,发现原有的选择器不够精确。通过使用双重属性选择器,能够更准确地定位到标题和详情链接:
a[href^="index.php?strWebValue=torrent&strWebAction=details&id="][href$="&view=1"]
这种精确的选择器避免了潜在的匹配错误,提高了数据提取的可靠性。
3. 下载URL构建机制
由于HTML表格中不直接包含下载URL,开发团队实现了一个巧妙的解决方案:
- 首先从详情链接中提取Torrent ID
- 然后使用模板构建完整的下载URL:"index.php?strWebValue=torrent&strWebAction=download&id={{ .Result.id }}"
这种方法展示了如何在不直接获取数据的情况下,通过已有信息构建所需URL。
4. 体积因子处理
NewHeaven使用图片和文本来表示不同的下载/上传体积因子。开发团队实现了灵活的条件匹配机制:
- 下载体积因子:匹配"50% DL"、"25% DL"文本或特定图片
- 上传体积因子:匹配"200% UP"文本或特定图片
这种处理方式能够适应Tracker使用的多种表示方法。
5. 日期解析问题
在日期解析过程中,最初遇到了格式问题。错误信息显示:
Error while parsing DateTime "08.08.2024 20:01+01:00"
问题在于时间字符串中缺少必要的空格。通过调整日期解析布局,最终解决了这个问题。
验证过程中的挑战
在Prowlarr中进行验证时,发现"onlyup"筛选功能存在问题。这是因为网站本身不支持直接搜索"onlyup"类型的资源,导致客户端需要先获取结果再进行过滤。这种情况在私有Tracker集成中较为常见,通常需要客户端做额外处理。
技术实现细节
在元素选择方面,虽然HTML中可能存在多个匹配项,但系统总是选择第一个匹配结果。经过验证,第一个匹配项始终是标题中的链接,这保证了数据的一致性。这是Jackett项目中处理类似情况的常用方法。
总结
NewHeaven索引器的开发过程展示了在集成私有Tracker时可能遇到的各种技术挑战,以及Jackett项目团队如何系统地解决这些问题。从参数设计、HTML解析到特殊功能的实现,每一步都需要仔细考虑Tracker的特有行为和数据结构。这些经验对于开发类似功能的集成具有重要参考价值。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C088
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python057
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0136
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00