• Alexandre Duret-Lutz's avatar
    Cache dot sources in the CGI script. · 155ba42c
    Alexandre Duret-Lutz authored
    * wrap/python/ajax/spot.in (render_dot, render_dot_maybe)
    (render_automaton, render_formula): Cache the dot source, so that
    we do not have to regenerate two pictures from the same contents.
    * wrap/python/spot.i: Typo in the ostringstream declaration.
    155ba42c
spot.i 7.42 KB