Make resource identifiers optional

• 报告人: cazfi
• 属主: cazfi
• 类型: Patches
• 状态: 关闭
• 组件: General
• 里程碑: S3_2 d3f (关闭)
• 优先: 5 - Medium
• 严重性: 5 - Medium
• 处理结果: Fixed
• 文件: 1

Details

Reported by omero in https://forum.freeciv.org/f/viewtopic.php?t=93876

Resource identifiers are needed only when loading old savegames. Identifiers added since savegame format has changed have no use at all. Make them optional in the ruleset loading code.

任务单历史 (3/4 Histories)

2023-05-11 22:38 Updated by: cazfi

• New Ticket "Make resource identifiers optional" created

2023-05-13 23:20 Updated by: cazfi

• File 0030-Make-resource-identifiers-optional.patch (File ID: 12406) is attached

2023-05-13 23:21 Updated by: cazfi

• 属主 Update from (无) to cazfi
• 处理结果 Update from 无 to Accepted

2023-05-21 13:04 Updated by: cazfi

• 状态 Update from 开启 to 关闭
• 处理结果 Update from Accepted to Fixed