From f7017e22a042136b7bfc29865e29b5c431d29348 Mon Sep 17 00:00:00 2001
From: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
Date: Wed, 18 Apr 2007 07:44:43 +0200
Subject: [PATCH] plug memory leak reported by Gustavo Carneiro.

---
 src/node/node-list.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/node/node-list.cc b/src/node/node-list.cc
index 68f684585..cad26e407 100644
--- a/src/node/node-list.cc
+++ b/src/node/node-list.cc
@@ -53,6 +53,7 @@ NodeList::GetNodes (void)
   if (firstTime)
     {
       TraceRoot::Register ("nodes", MakeCallback (&NodeList::CreateTraceResolver));
+      firstTime = false;
     }
   static std::vector<Node *> nodes;
   return &nodes;