diff -ru freeciv/server/srv_main.c freeciv-/server/srv_main.c
--- freeciv/server/srv_main.c	Sun Nov 25 13:41:58 2001
+++ freeciv-/server/srv_main.c	Thu Oct 18 18:45:34 2001
@@ -1973,6 +1973,7 @@
   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) {