26 lines
916 B
Diff
26 lines
916 B
Diff
@@ -, +, @@
|
|
---
|
|
cmd/dotty/dotty_layout.lefty | 4 +++-
|
|
1 file changed, 3 insertions(+), 1 deletion(-)
|
|
--- a/cmd/dotty/dotty_layout.lefty
|
|
+++ a/cmd/dotty/dotty_layout.lefty
|
|
@@ -5,7 +5,7 @@ dotty.grablserver = function (lserver) {
|
|
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 @@ dotty.protogt.unpackdraw = function (gt, attr) {
|
|
}
|
|
} 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;
|
|
--
|