Make resource identifiers optional

• Informador: cazfi
• Propietario: cazfi
• Tipo: Patches
• Estado: Cerrado
• Componente: General
• Hito: S3_2 d3f (cerrado)
• Prioridad: 5 - Medium
• Gravedad: 5 - Medium
• Resolución: Fixed
• Fichero: 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.

Ticket History (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

• Propietario Update from (Ninguno) to cazfi
• Resolución Update from Ninguno to Accepted

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

• Estado Update from Open to Cerrado
• Resolución Update from Accepted to Fixed