# HG changeset patch
# User Neil Muller <neil@dip.sun.ac.za>
# Date 1283034663 -7200
# Node ID a30f91ee5b33130ca09283be885aec9ca23537a4
# Parent  e3bf125d7f052064777bf1bf15b0c6f76044f407
Stop running when we end the game

diff -r e3bf125d7f05 -r a30f91ee5b33 gamelib/gamescreen.py
--- a/gamelib/gamescreen.py	Sun Aug 29 00:44:54 2010 +0200
+++ b/gamelib/gamescreen.py	Sun Aug 29 00:31:03 2010 +0200
@@ -125,6 +125,7 @@
             self._mouse_move(mouse.get_pos())
 
     def end_game(self):
+        self.running = False
         self.screen.shell.show_screen(self.screen.shell.end_screen)