Bug 845752 - trying to see if profiler no longer leaks, r=anton

This commit is contained in:
Girish Sharma 2013-07-18 01:58:04 +05:30
parent f8b0401a3f
commit 17c6d3866d

View File

@ -17,8 +17,7 @@ function test() {
addTab("about:blank", function() {
toolIDs = [];
for (let [id, definition] of gDevTools._tools) {
// Skipping Profiler due to bug 838069. Re-enable when bug 845752 is fixed
if (definition.key && id != "jsprofiler") {
if (definition.key) {
toolIDs.push(id);
}
}