Make resource identifiers optional

• Auswertung: cazfi
• Verantwortlicher: cazfi
• Typ: Patches
• Status: Geschlossen
• Komponente: General
• Meilenstein: S3_2 d3f (closed)
• Priorität: 5 - Mittel
• Schweregrad: 5 - Mittel
• Lösung: Gefixt
• Datei: 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-Verlauf (3/4 Historien)

2023-05-11 22:38 Aktualisiert von: cazfi

• New Ticket "Make resource identifiers optional" created

2023-05-13 23:20 Aktualisiert von: cazfi

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

2023-05-13 23:21 Aktualisiert von: cazfi

• Verantwortlicher Update from (Keine) to cazfi
• Lösung Update from Keine to Accepted

2023-05-21 13:04 Aktualisiert von: cazfi

• Status Update from Offen to Geschlossen
• Lösung Update from Accepted to Gefixt