Skip to content

Add targetAddressSpace integration in WebSockets - #125

Open
christhompson wants to merge 2 commits into
mainfrom
websockets-targetaddressspace
Open

christhompson wants to merge 2 commits into
mainfrom
websockets-targetaddressspace

Conversation

@christhompson

@christhompson christhompson commented Aug 5, 2026 •

Copy link
Copy Markdown
Collaborator

💥 Error: 422 Unprocessable Entity 💥

PR Preview failed to build. (Last tried on Aug 11, 2026, 10:35 PM UTC).

More

PR Preview relies on a number of web services to run. There seems to be an issue with the following one:

🚨 Spec Generator - Spec Generator is the web service used to build bikeshed/ReSpec specs

🔗 Related URL

Error output:

[
    {
        "lineNum": "835:41",
        "messageType": "link",
        "text": "No 'idl' refs found for 'WebSocketInit'."
    },
    {
        "lineNum": "478:5",
        "messageType": "fatal",
        "text": "Couldn't find target document section rollout-difficulties:\n[[#rollout-difficulties]]"
    },
    {
        "lineNum": "504:16",
        "messageType": "fatal",
        "text": "Couldn't find target document section rollout-difficulties:\n[[#rollout-difficulties]]"
    },
    {
        "lineNum": "1224:47",
        "messageType": "fatal",
        "text": "Couldn't find target document section dns-rebinding:\n[[#dns-rebinding]]"
    },
    {
        "lineNum": null,
        "messageType": "failure",
        "text": "Did not generate, due to errors exceeding the allowed error level."
    }
]

This seems to be an issue with the Spec Generator service. PR Preview doesn't manage this service and so has no control over it. If you've identified an issue with it, you can report the issue to the maintainers of Spec Generator directly. Please be courteous. Thank you!

If you don't have enough information above to solve the error by yourself or if the issue doesn't seem related to Spec Generator, you can file an issue with PR Preview.

Comment thread index.bs
1. If |protocolsOrOptions|["{{WebSocketInit/targetAddressSpace}}"] [=map/exists=], then
switch on |protocolsOrOptions|["{{WebSocketInit/targetAddressSpace}}"]:
<dl class=switch>
<dt>public

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This and the others need to be formatted as strings.

Comment thread index.bs

* Add the following steps to "`new WebSocket(url, protocolsOrOptions)` constructor steps"
after the steps for handling protocols:
1. Let |targetAddressSpace| be an [=IP address space=], initially null.

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We don't state types when initializing variables.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants