Skip to content

requestId in new progresss message is a "number" instead of "integer" #122

New issue
New issue
Closed
Closed
requestId in new progresss message is a "number" instead of "integer"#122
Assignees
weinand
Labels
bugIssue identified by VS Code Team member as probable bug
Milestone
October 2020
@jonahgraham

Description

@jonahgraham
jonahgraham
opened on Jun 9, 2020

The new ProgressStartEvent has a requestId, but unlike the other similar field in CancelArguments uses integer as does seq which requestId references.

debug-adapter-protocol/debugAdapterProtocol.json

Lines 569 to 572 in 96c4f09

"requestId": {
"type": "number",
"description": "The request ID that this progress report is related to. If specified a debug adapter is expected to emit\nprogress events for the long running request until the request has been either completed or cancelled.\nIf the request ID is omitted, the progress report is assumed to be related to some general activity of the debug adapter."
},

Metadata

Metadata

Assignees

Labels

bugIssue identified by VS Code Team member as probable bug

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions