From d7b9f33a6518863e62c7ac902b30aa4f9a1c1b66 Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Tue, 4 Oct 2011 23:43:06 +0200
Subject: [PATCH] memory: avoid duplicate in getParamsCategories

---
 src/tools/memory.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/tools/memory.py b/src/tools/memory.py
index 72ff9cb8..9ca908f3 100644
--- a/src/tools/memory.py
+++ b/src/tools/memory.py
@@ -376,7 +376,9 @@ class Param():
         """return the categories availables"""
         categories=[]
         for cat in self.dom.getElementsByTagName("category"):
-            categories.append(cat.getAttribute("name"))
+            name = cat.getAttribute("name")
+            if name not in categories:
+                categories.append(cat.getAttribute("name"))
         return categories
 
     def setParam(self, name, value, category, profile_key='@NONE@'):