| Index: Source/devtools/protocol.json
|
| diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json
|
| index 1a418b230db69a952ba9fe644ed0976e19698516..0c926769e7bd49da33a53a3627974f876a0fb1c8 100644
|
| --- a/Source/devtools/protocol.json
|
| +++ b/Source/devtools/protocol.json
|
| @@ -3604,7 +3604,8 @@
|
| "name": "reportHeapSnapshotProgress",
|
| "parameters": [
|
| { "name": "done", "type": "integer" },
|
| - { "name": "total", "type": "integer" }
|
| + { "name": "total", "type": "integer" },
|
| + { "name": "finished", "type": "boolean", "optional": true }
|
| ]
|
| },
|
| {
|
|
|