From bc2512fa9515a447f97e79b398413b5f3eda36c5 Mon Sep 17 00:00:00 2001 From: Erik Johnston Date: Mon, 18 Aug 2014 10:59:34 +0100 Subject: [PATCH] Don't bother generating png's --- graph/graph.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/graph/graph.py b/graph/graph.py index da829c388..220f5eb1d 100644 --- a/graph/graph.py +++ b/graph/graph.py @@ -113,7 +113,7 @@ def make_graph(pdus, room, filename_prefix): graph.add_edge(state_edge) graph.write('%s.dot' % filename_prefix, format='raw', prog='dot') - graph.write_png("%s.png" % filename_prefix, prog='dot') +# graph.write_png("%s.png" % filename_prefix, prog='dot') graph.write_svg("%s.svg" % filename_prefix, prog='dot')