diff --git a/graph.py b/graph.py index 4129257..1f3273e 100755 --- a/graph.py +++ b/graph.py @@ -166,6 +166,9 @@ def graph(session, fname='plot.png'): labels = [] + # The default format + OUTPUT_TYPE="pngcairo" + OUTPUT_EXT="png" if "SARGRAPH_OUTPUT_TYPE" in os.environ: if os.environ["SARGRAPH_OUTPUT_TYPE"] == "svg": OUTPUT_TYPE="svg"