| Index: content/browser/devtools/browser_protocol.json
|
| diff --git a/content/browser/devtools/browser_protocol.json b/content/browser/devtools/browser_protocol.json
|
| index f4b67407d2e899426dce89bf1209d389a8d22889..53ad99cd4465730f95cb870d7111fec7b8443348 100644
|
| --- a/content/browser/devtools/browser_protocol.json
|
| +++ b/content/browser/devtools/browser_protocol.json
|
| @@ -55,17 +55,19 @@
|
| "commands": [
|
| {
|
| "name": "bind",
|
| + "async": true,
|
| "description": "Request browser port binding.",
|
| "parameters": [
|
| - { "name": "port", "type": "number", "description": "Port number to bind." }
|
| + { "name": "port", "type": "integer", "description": "Port number to bind." }
|
| ],
|
| "handlers": ["browser"]
|
| },
|
| {
|
| "name": "unbind",
|
| + "async": true,
|
| "description": "Request browser port unbinding.",
|
| "parameters": [
|
| - { "name": "port", "type": "number", "description": "Port number to unbind." }
|
| + { "name": "port", "type": "integer", "description": "Port number to unbind." }
|
| ],
|
| "handlers": ["browser"]
|
| }
|
| @@ -75,7 +77,7 @@
|
| "name": "accepted",
|
| "description": "Informs that port was successfully bound and got a specified connection id.",
|
| "parameters": [
|
| - {"name": "port", "type": "number", "description": "Port number that was successfully bound." },
|
| + {"name": "port", "type": "integer", "description": "Port number that was successfully bound." },
|
| {"name": "connectionId", "type": "string", "description": "Connection id to be used." }
|
| ],
|
| "handlers": ["browser"]
|
|
|