diff --git a/devtools/server/performance/recorder.js b/devtools/server/performance/recorder.js index 4b30f4c2ac62..7429491e08ae 100644 --- a/devtools/server/performance/recorder.js +++ b/devtools/server/performance/recorder.js @@ -162,7 +162,7 @@ PerformanceRecorder.prototype = { this._onConsoleProfileEnd(data.details); } } else if (topic === "profiler-stopped") { - this._onProfilerUnexpectedlyStopped(); + // Some other API stopped the profiler. Ignore it. } else if (topic === "profiler-status") { this.emit("profiler-status", data); } @@ -243,13 +243,6 @@ PerformanceRecorder.prototype = { await this.stopRecording(model); }, - /** - * TODO handle bug 1144438 - */ - _onProfilerUnexpectedlyStopped: function() { - Cu.reportError("Profiler unexpectedly stopped.", arguments); - }, - /** * Called whenever there is timeline data of any of the following types: * - markers