| 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 = {};
|
|
|