[Freeciv-Dev] (PR#2728) Game ends after Tech is researched

["Jason Short via RT" <rt@xxxxxxxxxxxxxx>]

[ue80@xxxxxxxxxxxxxxxxxxxxx - Sun Jan  5 12:21:10 2003]:

> Hi,
> 
> i've written a small patch that the game ends after a given tech is
> researched. 
> 
> I wanted to do it:
> set endtech "The Republic" but i didn't know how to get the space in.
> 
> So the commando is:
> endtech The Republic

Should this be a server option or part of the ruleset?  Doesn't this
question come up for every new game option these days?

Aside from that, the only issue I have is that the tech string should
only be looked up once - when the game starts (or when the ruleset is
loaded).  So game.endtech should be a Tech_Type_Id.

jason