Index: code/menuui/mainhallmenu.cpp
===================================================================
--- code/menuui/mainhallmenu.cpp	(revision 8766)
+++ code/menuui/mainhallmenu.cpp	(working copy)
@@ -1316,6 +1316,12 @@
 		return;
 	}
 
+	//don't do anything if there are no animations to play
+	else if (Main_hall_door_anim.size() == 0)
+	{
+		return;
+	}
+
 	//run backwards and stop at the first frame
 	Main_hall_door_anim.at(region).direction = GENERIC_ANIM_DIRECTION_BACKWARDS | GENERIC_ANIM_DIRECTION_NOLOOP;
 
@@ -1345,6 +1351,12 @@
 		return;
 	}
 
+	//don't do anything if there are no animations to play
+	else if (Main_hall_door_anim.size() == 0)
+	{
+		return;
+	}
+
 	//run forwards
 	Main_hall_door_anim.at(region).direction = GENERIC_ANIM_DIRECTION_FORWARDS;
 	//stay on last frame if we have no keyframe