Merge: nitdoc: escape text in generated dot files
authorJean Privat <jean@pryen.org>
Mon, 10 Nov 2014 23:33:12 +0000 (18:33 -0500)
committerJean Privat <jean@pryen.org>
Mon, 10 Nov 2014 23:33:12 +0000 (18:33 -0500)
commit881991008074cbc5dcd72a4cf57cc72452d2595c
tree4396a72afeadd963beea5f68659d7b1e75e391bb
parent544a8dbbda13e9168877761a0255be7c58bc6af0
parentd9eb8059e26a9aa71bbde19230d474814b4d7416
Merge: nitdoc: escape text in generated dot files

Unescaping names in dot files generated by nitdoc seems causes the recent failures on jenkins.

The bug was present since the new nitdoc but expressed by #883 that exposes the name of the project in the dot-file:
* On Jenkins, multiple workspace are identified with a @. eq. `workspace@2`
* The name of a Nit project is the name of the directory
* Therefore  the `dot` command aborted when an identifier with @ was found, thus did not produce a map file.
* Therefore nitdoc aborted on the opening of the map file (to include in the HTML)

Retated to #891

Pull-Request: #894
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
src/doc/doc_pages.nit