diff -ru freeciv-/server/sernet.c freeciv/server/sernet.c --- freeciv-/server/sernet.c Wed Sep 12 10:39:38 2001 +++ freeciv/server/sernet.c Sun Nov 25 14:36:12 2001 @@ -200,6 +200,7 @@ write_history(history_file); history_truncate_file(history_file, HISTORY_LENGTH); } + rl_deprep_terminal(); #endif } diff -ru freeciv-/server/srv_main.c freeciv/server/srv_main.c --- freeciv-/server/srv_main.c Thu Oct 18 18:45:34 2001 +++ freeciv/server/srv_main.c Sun Nov 25 14:44:49 2001 @@ -1973,17 +1973,21 @@ report_scores(1); show_map_to_all(); notify_player(0, _("Game: The game is over...")); gamelog(GAMELOG_GENO, "The game is over!"); save_game_auto(); while (server_state == GAME_OVER_STATE) { force_end_of_sniff = 0; sniff_packets(); } + quit_game(NULL); + +/* server_close_udp(); my_shutdown_network(); + */ return; }