Better warning for orphan resources

p01 · p01 · commit 848e57323dad · 2012-08-23T17:39:45.000+02:00
diff --git a/src/resource-manager/resource_service.js b/src/resource-manager/resource_service.js
@@ -414,8 +414,9 @@ cls.ResourceContext = function(data)
       frame = this.frames[res.frameID];
       if (!frame)
       {
-        //  unknown frame -> invalid resource
-        console.info('invalidating the orphan resource '+ res.id );
+        // unknown frame -> invalid resource
+        opera.postError(ui_strings.S_DRAGONFLY_INFO_MESSAGE +
+          'Invalidating orphan resource '+ res.id);
         res.invalid = true;
       }
      else if (eventname == "urlload")

Original file line number	Diff line number	Diff line change
`@@ -414,8 +414,9 @@ cls.ResourceContext = function(data)`
`414`	`414`	`frame = this.frames[res.frameID];`
`415`	`415`	`if (!frame)`
`416`	`416`	`{`
`417`		`- // unknown frame -> invalid resource`
`418`		`- console.info('invalidating the orphan resource '+ res.id );`
	`417`	`+ // unknown frame -> invalid resource`
	`418`	`+ opera.postError(ui_strings.S_DRAGONFLY_INFO_MESSAGE +`
	`419`	`+ 'Invalidating orphan resource '+ res.id);`
`419`	`420`	`res.invalid = true;`
`420`	`421`	`}`
`421`	`422`	`else if (eventname == "urlload")`