alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* wrap/python/spot.py (automata): Use universal_newlines.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-10-21 14:42:52 +02:00
parent 64607af7ab
commit 619b227eff
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
wrap/python/spot.py
View file

@ -366,7 +366,9 @@ def automata(*sources, timeout=None):
p = automaton_stream_parser(proc.stdout.fileno(), p = automaton_stream_parser(proc.stdout.fileno(),
filename, True) filename, True)
else: else:
# universal_newlines for str output instead of bytes
out = subprocess.check_output(filename[:-1], shell=True, out = subprocess.check_output(filename[:-1], shell=True,
universal_newlines=True,
timeout=timeout) timeout=timeout)
p = automaton_stream_parser(out, filename, True) p = automaton_stream_parser(out, filename, True)
elif '\n' in filename: elif '\n' in filename: