[Freeciv-Dev] Re: (PR#9321) pubserver rankings are based on player name not username

["Mike Kaufman" <kaufman@xxxxxxxxxxxxxxxxxxxxxx>]

<URL: http://rt.freeciv.org/Ticket/Display.html?id=9321 >

here's hopefully the last iteration of this.

changes:

o removes all of the "format" statements from the gamelog calls. All the
messages are created in gamelog.c. Where there is somewhat important
information, single word buffers are used to augment the message.

o remove GAMELOG_CONQ

o changed gamelog_bracket_xml() to gamelog_put_prefix()

o added some commentary to the gamelog() function header

-mike

new_gamelog11.diff.bz2
Description: Binary data