diff -r 494b6b5e7a08 -r fc872b9b17a7 ai/ai.c
--- a/ai/ai.c	Wed Nov 30 07:31:54 2005 +0000
+++ b/ai/ai.c	Wed Nov 30 16:10:19 2005 +0000
@@ -309,6 +309,9 @@
 	char *tmp_ai_gpmi_param = strdup(_ai.gpmi_param);
 #endif /* GPMI */
 
+	/* First, make sure all AIs are DEAD! */
+	AI_Uninitialize();
+
 	memset(&_ai, 0, sizeof(_ai));
 	memset(&_ai_player, 0, sizeof(_ai_player));