make record exception safier

diff --git a/tools/recorder.py b/tools/recorder.py
index 2f8de3e10819d326af86ff50e7154afaade45b31..665632d9d0050c5e7b84e490a950cbf05ae1d159 100644 (file)
--- a/tools/recorder.py
+++ b/tools/recorder.py
@@ -49,8 +49,11 @@ class Recorder:
         self.media = open(self.path + os.sep + self.filename, 'w')
 
     def write(self, chunk):
-        self.media.write(chunk)
-        self.media.flush()
+        try:
+            self.media.write(chunk)
+            self.media.flush()
+        except:
+            pass
 
     def close(self):
         self.media.close()