From 94ded0cb27161b972228cfef8ea2e6f60af0f2b2 Mon Sep 17 00:00:00 2001 From: root Date: Thu, 24 Oct 2013 00:56:32 -0700 Subject: Thu Oct 24 00:55:58 PDT 2013 --- extra/graphviz/dotty.patch | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 extra/graphviz/dotty.patch (limited to 'extra/graphviz/dotty.patch') diff --git a/extra/graphviz/dotty.patch b/extra/graphviz/dotty.patch new file mode 100644 index 000000000..7c8ca1d7f --- /dev/null +++ b/extra/graphviz/dotty.patch @@ -0,0 +1,21 @@ +diff -Naur old/cmd/dotty/dotty_layout.lefty new/cmd/dotty/dotty_layout.lefty +--- old/cmd/dotty/dotty_layout.lefty 2013-09-06 15:07:52.000000000 -1000 ++++ new/cmd/dotty/dotty_layout.lefty 2013-10-22 15:23:50.153028328 -1000 +@@ -5,7 +5,7 @@ + local fd; + + if (~dotty.lservers[lserver] | tablesize (dotty.lservers[lserver]) == 0) { +- if (~((fd = openio ('pipe', lserver, 'r+', '%e -Txdot')) >= 0)) { ++ if (~((fd = openio ('pipe', lserver, 'r+', '%e -Txdot1.2')) >= 0)) { + dotty.message (0, concat ('cannot start ', lserver)); + return null; + } +@@ -438,6 +438,8 @@ + } + } else if (t[i] == 'I') { + i = i + 7; ++ } else if (t[i] == 't') { ++ i = i + 2; + } else { + dotty.message (0, concat ('draw language parser error: ', t[i])); + return null; -- cgit v1.2.3-54-g00ecf