Backslash must be escaped for dotdiff

[martinclauss]

Hey :)

I have the following exemplary C file /tmp/a.c:

int main() {
    //12345678\foo
    return 0;
}

For simplicity I diff the file with itself:

gumtree dotdiff /tmp/a.c /tmp/a.c > /tmp/diff.dot

This generates a dot file with the following line:

...
		n_src_7 [label="comment: //12345678\", color=lightgrey];
...

Now the backslash being at this very specific place escapes the quote... which leads to an error:

dot -T png /tmp/diff.dot -o /tmp/diff.png
Error: /tmp/diff.dot: syntax error in line 25 near '['

Maybe this can be fixed somehow :)

Thanks!

[jrfaller]

Normally, fixed by fb83264.