From a138722d73f9f16962b3728f99c9e1ab31955afc Mon Sep 17 00:00:00 2001
From: Valentin Lorentz <progval@progval.net>
Date: Mon, 9 Jun 2014 16:41:44 +0000
Subject: [PATCH] =?UTF-8?q?src/log.py:=20Display=20warning=20instead=20of?=
 =?UTF-8?q?=20raising=20exception=20if=20there=20is=20no=20space=20left=20?=
 =?UTF-8?q?on=20defice=20(infinite=20loop=E2=80=A6).?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/log.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/log.py b/src/log.py
index 63abafeba..283032bcb 100644
--- a/src/log.py
+++ b/src/log.py
@@ -136,7 +136,13 @@ class BetterFileHandler(logging.FileHandler):
             except UnicodeError:
                 self.stream.write(msg.encode("utf8"))
                 self.stream.write(os.linesep)
-        self.flush()
+        try:
+            self.flush()
+        except OSError as e:
+            if e.args[0] == 28:
+                print('No space left on device, cannot flush log.')
+            else:
+                raise
 
 
 class ColorizedFormatter(Formatter):