From: Philipp Gesang Date: Fri, 1 Dec 2017 15:14:56 +0000 (+0100) Subject: use string type for writing to stdout X-Git-Tag: v1.2~10^2~4 X-Git-Url: http://developer.intra2net.com/git/?a=commitdiff_plain;h=b6f84e0ca682c13f4009170047f27fee19115ed2;p=pyi2ncommon use string type for writing to stdout --- diff --git a/src/cnfvar.py b/src/cnfvar.py index 58d078b..fe0e0a1 100644 --- a/src/cnfvar.py +++ b/src/cnfvar.py @@ -601,7 +601,7 @@ def output_cnf(root, out, renumber=False, bytes=True): _count = renumber(root) if is_cnf(cnf) is True: (_, lines) = functools.reduce(format_cnf_vars, cnf, (0, [])) - if bytes is True: + if bytes is False: out.write ("\n".join (map (from_latin1, lines))) out.write ("\n") else: @@ -636,7 +636,7 @@ def dump_cnf_string(root, renumber=False): def print_cnf(root, out=None, renumber=False): if root is not None: - output_cnf(root, out or sys.stdout, renumber=renumber) + output_cnf(root, out or sys.stdout, renumber=renumber, bytes=False) def write_cnf(*argv, **kw_argv):