From cfdca58847c7ac5587d5eec537f2bdf997232e1f Mon Sep 17 00:00:00 2001
From: Florent Lamiraux <florent@laas.fr>
Date: Sat, 10 Nov 2012 22:09:38 +0100
Subject: [PATCH] Fix bug in method PoolStorage::writeGraph.
---
src/dgraph/pool.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/dgraph/pool.cpp b/src/dgraph/pool.cpp
index c407f709..b25d28d4 100644
--- a/src/dgraph/pool.cpp
+++ b/src/dgraph/pool.cpp
@@ -213,7 +213,7 @@ writeGraph(const std::string &aFileName)
<< " Time: " << ltimeformatted.tm_hour
<< ":" << ltimeformatted.tm_min;
GraphFile << " */" << std::endl;
- GraphFile << "digraph " << GenericName << " { ";
+ GraphFile << "digraph \"" << GenericName << "\" { ";
GraphFile << "\t graph [ label=\"" << GenericName << "\" bgcolor = white rankdir=LR ]" << std::endl
<< "\t node [ fontcolor = black, color = black, fillcolor = gold1, style=filled, shape=box ] ; " << std::endl;
GraphFile << "\tsubgraph cluster_Entities { " << std::endl;
@@ -224,7 +224,7 @@ writeGraph(const std::string &aFileName)
iter!=entityMap.end (); ++iter)
{
Entity* ent = iter->second;
- GraphFile << ent->getName ()
+ GraphFile << "\"" << ent->getName () << "\""
<<" [ label = \"" << ent->getName () << "\" ," << std::endl
<<" fontcolor = black, color = black, fillcolor=cyan, style=filled, shape=box ]" << std::endl;
ent->writeGraph(GraphFile);
--
GitLab