diff gamelib/gamegui.py @ 90:0823e2529c23

Add robustness around the savefile stuff
author Neil Muller <drnlmuller@gmail.com>
date Wed, 09 May 2012 20:30:25 +0200
parents 74ce25ec2073
children f0bf77787d1e
line wrap: on
line diff
--- a/gamelib/gamegui.py	Wed May 09 20:21:39 2012 +0200
+++ b/gamelib/gamegui.py	Wed May 09 20:30:25 2012 +0200
@@ -511,8 +511,10 @@
         self.activity.update_widgets()
         game_data = self.game.save_data()
         if self.autosave:
+            # Don't corrupt the savefile if json crashes
+            data = json.dumps(game_data)
             savefile = open(self.autosave, 'w')
-            json.dump(game_data, savefile)
+            savefile.write(data)
             savefile.close()
         AddWindow.post(results)