Skip to content

Theia RPC and http headers #14958

Answered by msujew
daleasberry-n asked this question in Q&A
Discussion options

You must be logged in to vote

Hey @daleasberry-n,

you can override the createWebSocket method and append your own header in the extraHeaders section of the socket io initialization.

You will need to bind that newly created WebSocketConnectionSource override in a frontend preload module. See here for an example.

Replies: 1 comment

Comment options

You must be logged in to vote
0 replies
Answer selected by daleasberry-n
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants