jdorje: Don't use the player_ptr in get_tech_name un...

[email protected] Fri, 2 Sep 2005 16:21:02 -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 16:12:40 PDT 2005 = Fri Sep  2 23:12:40 2005 (GMT)
by Jason Dorje Short <[email protected]>

---- Files affected:

freeciv/common tech.c

---- Log message:
      Tag: HEAD

Don't use the player_ptr in get_tech_name unless necessary (for future
techs).  This allows the manual to run and allows the function to be used
for detached clients.

Patch by Guillaume Melquiond <[email protected]> in PR#13839
with changes by me.