From: Guillaume Pellerin <yomguy@parisson.com>
Date: Mon, 22 Nov 2010 23:32:54 +0000 (+0000)
Subject: make record exception safier
X-Git-Url: https://git.parisson.com/?a=commitdiff_plain;h=b2118b7a1ab0d3b346faaa7ac3d72cb5bf23466e;p=deefuzzer.git

make record exception safier
---

diff --git a/tools/recorder.py b/tools/recorder.py
index 2f8de3e..665632d 100644
--- 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()