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

* wrap/python/cgi/ltl2tgba.in (render_dot): Render .png directly

Browse source 
with dot, without using convert.
* wrap/python/cgi/README: Do not mention convert.
This commit is contained in:
Alexandre Duret-Lutz 2004-02-02 20:17:05 +00:00
parent 47489236dc
commit 550e7acdb2
3 changed files with 7 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
wrap/python/cgi/ltl2tgba.in
View file

@ -72,10 +72,8 @@ def print_stats(automaton):
sys.stdout.flush()
def render_dot(basename):
os.spawnlp(os.P_WAIT, 'dot', 'dot', '-Tgif', '-Gsize=14,14', '-o',
basename + '.gif', basename + '.dot')
os.spawnlp(os.P_WAIT, 'convert', 'convert',
basename + '.gif', basename + '.png')
os.spawnlp(os.P_WAIT, 'dot', 'dot', '-Tpng', '-Gsize=14,14', '-o',
basename + '.png', basename + '.dot')
print '<img src="' + basename + '.png">'
def render_automaton(basename, automata):