<URL: http://bugs.freeciv.org/Ticket/Display.html?id=39434 >
Now I suspect it is simply that punit is not a valid pointer after server_remove_unit(punit); and we should extract the unit type of the punit before destroying it? Or is this a sign of something else at fault here? In the simple case, we just do something like const char *unit_name = unit_name_translation(punit); before wiping punit. _______________________________________________ Freeciv-dev mailing list Freeciv-dev@gna.org https://mail.gna.org/listinfo/freeciv-dev
