[z3-checkins] r26140 - z3/jsonserver/branch/merge/utils

reebalazs at codespeak.net reebalazs at codespeak.net
Sat Apr 22 13:41:40 CEST 2006


Author: reebalazs
Date: Sat Apr 22 13:41:39 2006
New Revision: 26140

Modified:
   z3/jsonserver/branch/merge/utils/tcpwatch
Log:
fix

Modified: z3/jsonserver/branch/merge/utils/tcpwatch
==============================================================================
--- z3/jsonserver/branch/merge/utils/tcpwatch	(original)
+++ z3/jsonserver/branch/merge/utils/tcpwatch	Sat Apr 22 13:41:39 2006
@@ -218,8 +218,6 @@
             writer.newline()
         writer.write('}')
         writer.indentoff()
-    elif isinstance(value, unicode):
-        writer.write('"%s"' % (value.encode('utf8', )))
     else:
         writer.write(repr(value))
 
@@ -486,6 +484,9 @@
             for i, line in enumerate(lines):
                 if not line:
                     break
+            else:
+                # no line found - take the whole buffer
+                i = -1
             result = json_prettify('\n'.join(lines[i+1:]))
             if result:
                 if getattr(self, '_colorized', True):


More information about the z3-checkins mailing list