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;
 }