Index: Tools/GardeningServer/scripts/base.js |
diff --git a/Tools/GardeningServer/scripts/base.js b/Tools/GardeningServer/scripts/base.js |
index 7a783b3a3f6023ea85c285832c4958a851f65407..9ae9ec71b1fec5ba8341e5b91dfb2fb35996beae 100644 |
--- a/Tools/GardeningServer/scripts/base.js |
+++ b/Tools/GardeningServer/scripts/base.js |
@@ -92,19 +92,6 @@ base.filterDictionary = function(dictionary, predicate) |
return result; |
}; |
-base.mapDictionary = function(dictionary, functor) |
-{ |
- var result = {}; |
- |
- for (var key in dictionary) { |
- var value = functor(dictionary[key]); |
- if (typeof value !== 'undefined') |
- result[key] = value; |
- } |
- |
- return result; |
-}; |
- |
base.filterTree = function(tree, isLeaf, predicate) |
{ |
var filteredTree = {}; |