[Webkit-unassigned] [Bug 19531] Profiling during a page load does not record a profile

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=19531





------- Comment #5 from rik24d at gmail.com  2008-06-13 15:00 PDT -------
(In reply to comment #3)
> I don't think this is exactly the same as bug 19426. Bug 19426 seems to be
> about having a new UI option to start profiling and automatically refresh the
> page. This bug is about profiling during a reload not working at all,
> regardless of whether we have a UI option for it.
> 

Oh yes, this is not exactly the same, my bad. This bug is useful and bug 19426
will help make it more discoverable.


-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.