fix: [graph.py] small fix to make it work

2018-10-19 14:59:09 +02:00 · 2018-10-19 14:59:09 +02:00 · ca1bc24f65
parent 1276d834dd
commit ca1bc24f65
1 changed files with 7 additions and 7 deletions
--- a/tools/graph.py
+++ b/tools/graph.py
@ -189,7 +189,7 @@ elif args.all:
        # dg.source = '\n'.join(dot)

        dg = Digraph(format='png', body=dot)
-        # print(dg.source)
-        dg.render(engine='dot', filename='graphs/{}'.format(uuid), cleanup=False)
+        #print(dg.source)
+        dg.render(filename='graphs/{}'.format(uuid))
 else:
    exit("No parameters given, use --help for more info.")