[Freeciv-Dev] civserver -r does not work properly. (PR#878)

[Gaute B Strokkenes <gs234@xxxxxxxxx>]

cviserver seems to act differently depending on whether it is
receiving commands from stdin or from a startup script.

This is counterintuive, and probably not intentional.

Script started on Tue Aug  7 01:54:26 2001
gs234@kern:~/freeciv$ cat fc_test 
set seed 42
set randseed 42
set minp 1
set maxp 5
set aifill 5
set timeout 1
hard
create ai
start

gs234@kern:~/freeciv$ ./ser
This is the server for Freeciv version 1.11.11-devel
You can learn a lot about Freeciv at http://www.freeciv.org/
2: Now accepting new client connections.

For introductory help, type 'help'.
> set seed 42
Option: seed has been set to 42.
> set randseed 42
Option: randseed has been set to 42.
> set minp 1
Option: minplayers has been set to 1.
> set maxp 5
Option: maxplayers has been set to 5.
> set aifill 5
Option: aifill has been set to 5.
> set timeout 1
Option: timeout has been set to 1.
> hard
Setting game.skill_level to 7.
> create ai
2: ai has been added as an AI-controlled player.
Created new AI player: ai.
> start
Starting game.
2: Loading rulesets
Create ai players? : 1
2: AI is controlling the Dutch ruled by ai.
Starting to create extra ai players!2: Ho Chi Minh has been added as an 
AI-controlled player.
2: AI is controlling the Vietnamese ruled by Ho Chi Minh.
Ho Chi Minh is now hard.
2: Otto has been added as an AI-controlled player.
2: AI is controlling the Germans ruled by Otto.
Otto is now hard.
2: Arpad has been added as an AI-controlled player.
2: AI is controlling the Hungarians ruled by Arpad.
Arpad is now hard.
2: Mortadelo has been added as an AI-controlled player.
2: AI is controlling the Spanish ruled by Mortadelo.
Mortadelo is now hard.
> quit
Goodbye.
gs234@kern:~/freeciv$ ./ser -r fc_test 
This is the server for Freeciv version 1.11.11-devel
You can learn a lot about Freeciv at http://www.freeciv.org/
Option: seed has been set to 42.
Option: randseed has been set to 42.
Option: minplayers has been set to 1.
Option: maxplayers has been set to 5.
Option: aifill has been set to 5.
Option: timeout has been set to 1.
Setting game.skill_level to 7.
2: ai has been added as an AI-controlled player.
Created new AI player: ai.
Starting game.
2: Now accepting new client connections.

For introductory help, type 'help'.
> quit
Goodbye.
gs234@kern:~/freeciv$ exit

Script done on Tue Aug  7 01:55:29 2001

-- 
Big Gaute                               http://www.srcf.ucam.org/~gs234/
TAPPING?  You POLITICIANS!  Don't you realize that the END of the
 ``Wash Cycle'' is a TREASURED MOMENT for most people?!