jdorje: Avoid a potential crash when saving settings...

[email protected] Fri, 2 Sep 2005 15:11:03 -0700

Newsgroups	gmane.games.freeciv.cvs
Message-ID	<[email protected]>

This is an automated notification of a change to freeciv cvs, 
on Fri Sep  2 15:08:52 PDT 2005 = Fri Sep  2 22:08:52 2005 (GMT)
by Jason Dorje Short <[email protected]>

---- Files affected:

freeciv/client options.c

---- Log message:
      Tag: HEAD

Avoid a potential crash when saving settings (while quitting) while
detached.

Patch by me in PR#13812.