diff frontends/src/jp/base.py @ 2161:62dfa6e02f54

jp (base, blog, output(std)): fixed bad unicode handling in stdout, use of jp.disp instead of simple print
author Goffi <goffi@goffi.org>
date Tue, 21 Feb 2017 21:01:40 +0100
parents cee6561ad086
children c9a67eb5bf72
line wrap: on
line diff
--- a/frontends/src/jp/base.py	Tue Feb 21 21:01:40 2017 +0100
+++ b/frontends/src/jp/base.py	Tue Feb 21 21:01:40 2017 +0100
@@ -251,9 +251,9 @@
         """
         if self.verbosity >= verbosity:
             if error:
-                print >>sys.stderr,msg
+                print >>sys.stderr,msg.encode('utf-8')
             else:
-                print msg
+                print msg.encode('utf-8')
 
     def output(self, type_, name, extra_outputs, data):
         if name in extra_outputs: