Fix crash with dot if node name start with <integer>_

populse / capsul

Collaborative Analysis Platform : Simple, Unifying, Lean

Other

7 stars 14 forks source link

Fix crash with dot if node name start with <integer>_ #255

Closed servoz closed 1 year ago

servoz commented 1 year ago

I just experienced a crash in Mia when we use graphviz/dot with a node name starting with integer_ (e.g. 1_foo). I propose a very small change to fix it.