From 40991a5d5241d7336689dff2f78d7b45a5388184 Mon Sep 17 00:00:00 2001
From: Miroslav Stampar <miroslav.stampar@gmail.com>
Date: Sat, 31 Dec 2011 01:03:54 +0000
Subject: [PATCH] minor fix

---
 lib/core/dump.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/core/dump.py b/lib/core/dump.py
index d917453d7..d2799f198 100644
--- a/lib/core/dump.py
+++ b/lib/core/dump.py
@@ -66,7 +66,7 @@ class Dump:
     def flush(self):
         if self.__outputBP and self.__outputFP and self.__outputBP.tell() > 0:
             _ = self.__outputBP.getvalue()
-            self.__outputBP.reset()
+            self.__outputBP.truncate(0)
             self.__outputFP.write(_)
 
     def __formatString(self, inpStr):