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

reebalazs at codespeak.net reebalazs at codespeak.net
Sat Apr 22 12:52:05 CEST 2006


Author: reebalazs
Date: Sat Apr 22 12:52:03 2006
New Revision: 26133

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 12:52:03 2006
@@ -219,7 +219,7 @@
         writer.write('}')
         writer.indentoff()
     elif isinstance(value, unicode):
-        writer.write('"%s"' % (value.encode('utf8', ))
+        writer.write('"%s"' % (value.encode('utf8', )))
     else:
         writer.write(repr(value))
 


More information about the z3-checkins mailing list