From df647dbabcae06b6d4d8042fcdf1d8286bba665e Mon Sep 17 00:00:00 2001
From: Denis Bilenko <denis.bilenko@gmail.com>
Date: Mon, 8 Jun 2009 12:29:20 +0700
Subject: [PATCH] record_results.py: read utf-8 output properly; remove \00
 from the output because sqlite does not seem to handle that well

---
 greentest/record_results.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/greentest/record_results.py b/greentest/record_results.py
index de39394..c92b67e 100755
--- a/greentest/record_results.py
+++ b/greentest/record_results.py
@@ -26,6 +26,7 @@ Usage: %prog program [args]
 """
 import sys
 import os
+import codecs
 try:
     import sqlite3
 except ImportError:
@@ -63,7 +64,7 @@ def main():
     print arg
     returncode = os.system(arg)>>8
     print arg, 'finished with code', returncode
-    stdout = file(output_name).read()
+    stdout = codecs.open(output_name, mode='r', encoding='utf-8', errors='replace').read().replace('\x00', '?')
     if not debug:
         if returncode==1:
             pass