More switch from ResourceInfo.id to UID :\

Author: p01

src/resource-manager/resource_service.js

@@ -55,8 +55,8 @@ cls.ResourceManagerService = function(view, network_logger)
     if (!this._documentResources[documentID])
       this._documentResources[documentID]=[];
 
-    if (!this._documentResources[documentID].contains(r.id))
-      this._documentResources[documentID].push(r.id);
+    if (!this._documentResources[documentID].contains(r.uid))
+      this._documentResources[documentID].push(r.uid);
   }
 
   this._update = function(msg)
@@ -135,7 +135,7 @@ cls.ResourceManagerService = function(view, network_logger)
         this._populateDocumentResources(r);
 
         // check if this is the top resource of a document
-        var documentID = ctx.documentResourceHash[r.id];
+        var documentID = ctx.documentResourceHash[r.resource_id];
         if (documentID != null && documentID != r.document_id)
         {
           r.document_id = documentID;

src/resource-manager/resource_templates.js

@@ -118,7 +118,7 @@ templates.resource_tree =
 			if (context.searchTerm != '' && !r.url.contains(context.searchTerm))
 				return false;
 
-			return documentResources.contains(r.id);
+			return documentResources.contains(r.uid);
 		});
 
 		var depth = d.depth;