[Freeciv-Dev] patch: disallow blank player names (PR#474)

[David Pfitzner <dwp@xxxxxxxxxxxxxx>]

This patch trims leading and trailing spaces from player names, 
and disallows blank players names, since all these may cause 
problems with, eg, specifying player names in server commands.

(Adds functions remove_leading_spaces() and
remove_leading_trailing_spaces() in shared.c, and makes minor 
fixes to remove_trailing_spaces(). (Specifically, t could point 
1 before s, which a strict C implementation could disallow...))

-- David

remove_spaces1.diff.gz
Description: GNU Zip compressed data