Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use webworker typings for webServer.ts #46944

Merged
merged 1 commit into from Feb 17, 2022

Conversation

mjbvz
Copy link
Contributor

@mjbvz mjbvz commented Nov 29, 2021

Updates webServer.ts to include the webworker typings. This means we don't have to redeclare the web globals we use in this file

@typescript-bot typescript-bot added the For Uncommitted Bug PR for untriaged, rejected, closed or missing bug label Nov 29, 2021
@typescript-bot
Copy link
Collaborator

This PR doesn't have any linked issues. Please open an issue that references this PR. From there we can discuss and prioritise.

@sandersn sandersn added this to Not started in PR Backlog Dec 7, 2021
@mjbvz
Copy link
Contributor Author

mjbvz commented Jan 11, 2022

@DanielRosenwasser This is a code quality / debt issue. Should I still open an issue for it?

@DanielRosenwasser
Copy link
Member

I can't exactly tell what went wrong with the build; however, I'm going to assume it's an issue of conflicts between Node.js and the web APIs, right?

Updates `webServer.ts` to include the webworker typings. This means we don't have to redeclare the web globals we use in this file
@mjbvz
Copy link
Contributor Author

mjbvz commented Jan 11, 2022

I think I branched off a bad commit before. Rebased and now everything looks good

@sandersn sandersn added the Housekeeping Housekeeping PRs label Jan 29, 2022
PR Backlog automation moved this from Not started to Needs merge Jan 29, 2022
@sandersn
Copy link
Member

Just in case, let's hold this until after 4.6 RC ships.

@sandersn sandersn merged commit 55e2e15 into microsoft:main Feb 17, 2022
PR Backlog automation moved this from Needs merge to Done Feb 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
For Uncommitted Bug PR for untriaged, rejected, closed or missing bug Housekeeping Housekeeping PRs
Projects
PR Backlog
  
Done
Development

Successfully merging this pull request may close these issues.

None yet

4 participants