Permalink
Browse files

Default to writing dot source if no extension is given.

  • Loading branch information...
1 parent e04631b commit 07d49dcb12d781e1134892b6a94d18ad12566f46 @nelhage committed Jan 1, 2011
Showing with 4 additions and 1 deletion.
  1. +4 −1 ddx2dot
View
@@ -194,5 +194,8 @@ for line in lines:
if code:
exitBlock()
-extn = out[out.rindex(".")+1:]
+if '.' not in out:
+ extn = 'dot'
+else:
+ extn = out[out.rindex(".")+1:]
graph.write(out, format=extn)

0 comments on commit 07d49dc

Please sign in to comment.