# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1317764586 -7200
# Node ID cecd22241d56dd0b6c0a619508e01d3ea749dab3
# Parent  79fe50fc8edc6580de067c5130a0575feefa61aa
memory: avoid duplicate in getParamsCategories

diff -r 79fe50fc8edc -r cecd22241d56 src/tools/memory.py
--- a/src/tools/memory.py	Tue Oct 04 23:22:13 2011 +0200
+++ b/src/tools/memory.py	Tue Oct 04 23:43:06 2011 +0200
@@ -376,7 +376,9 @@
         """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@'):