| Index: Source/devtools/front_end/ProfilesPanel.js
|
| diff --git a/Source/devtools/front_end/ProfilesPanel.js b/Source/devtools/front_end/ProfilesPanel.js
|
| index 8a569e4522ccda2755c7b87edf8704e0b46c32bd..137a5d2d619535a6922ddf00b8f3d1593580ab72 100644
|
| --- a/Source/devtools/front_end/ProfilesPanel.js
|
| +++ b/Source/devtools/front_end/ProfilesPanel.js
|
| @@ -39,6 +39,8 @@ WebInspector.ProfileType = function(id, name)
|
| this.treeElement = null;
|
| /** @type {?WebInspector.ProfileHeader} */
|
| this._profileBeingRecorded = null;
|
| +
|
| + window.addEventListener("unload", this._clearTempStorage.bind(this), false);
|
| }
|
|
|
| WebInspector.ProfileType.Events = {
|
| @@ -206,6 +208,12 @@ WebInspector.ProfileType.prototype = {
|
| }
|
| },
|
|
|
| + _clearTempStorage: function()
|
| + {
|
| + for (var i = 0; i < this._profiles.length; ++i)
|
| + this._profiles[i].removeTempFile();
|
| + },
|
| +
|
| /**
|
| * @nosideeffects
|
| * @return {?WebInspector.ProfileHeader}
|
| @@ -297,6 +305,12 @@ WebInspector.ProfileHeader.prototype = {
|
| throw new Error("Not implemented.");
|
| },
|
|
|
| + removeTempFile: function()
|
| + {
|
| + if (this._tempFile)
|
| + this._tempFile.remove();
|
| + },
|
| +
|
| dispose: function()
|
| {
|
| },
|
|
|