Preserve the original URL String

p01 · p01 · commit 63719dc1f312 · 2012-10-05T13:58:36.000+02:00
diff --git a/src/resource-manager/resource_service.js b/src/resource-manager/resource_service.js
@@ -35,6 +35,7 @@ cls.ResourceManagerService = function(view, network_logger)
     this._documentList.forEach(function(d)
     {
       //  use the URL class
+      d.original_url = d.url;
       d.url = new URI(d.url);
     });
 
diff --git a/src/resource-manager/resource_templates.js b/src/resource-manager/resource_templates.js
@@ -145,7 +145,7 @@ templates.resource_tree =
 						this._get_short_distinguisher(d.url),
 						'class','resource-tree-document-label',
 						'data-tooltip','js-script-select',
-						'data-tooltip-text',d.url
+						'data-tooltip-text',d.original_url
 					],
 					' ',
 					d.sameOrigin?[]:['span',d.url.host,'class','resource-domain'],

Original file line number	Diff line number	Diff line change
`@@ -35,6 +35,7 @@ cls.ResourceManagerService = function(view, network_logger)`
`35`	`35`	`this._documentList.forEach(function(d)`
`36`	`36`	`{`
`37`	`37`	`// use the URL class`
	`38`	`+ d.original_url = d.url;`
`38`	`39`	`d.url = new URI(d.url);`
`39`	`40`	`});`
`40`	`41`