Skip to content

Port devtools server and devtools shared to use null safety #2978

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.

Sign up for GitHub

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

Jump to bottom
Closed
jacob314 opened this issue May 4, 2021 · 2 comments · Fixed by #3009
Closed

Port devtools server and devtools shared to use null safety #2978

jacob314 opened this issue May 4, 2021 · 2 comments · Fixed by #3009
Assignees
@kenzieschmoll
Milestone
M29

Comments

@jacob314
Copy link
Contributor

jacob314 commented May 4, 2021

This is blocking packages that depend on devtools_shared and devtools_server from running in sound null safety mode. For example, flutter_tools.
@kenzieschmoll kenzieschmoll added this to the M29 milestone May 5, 2021
@kenzieschmoll kenzieschmoll self-assigned this May 5, 2021
@jmagman jmagman mentioned this issue May 5, 2021
Closed
@kenzieschmoll kenzieschmoll mentioned this issue May 7, 2021
Merged
@kenzieschmoll
Copy link
Member

devtools_shared port here: #2995.
devtools_server port is blocked on package:sse and package:browser_launcher being migrated. @grouma @natebosch @kevmoo

@kenzieschmoll
Copy link
Member

package:browser_launcher is migrated and published 1.0.0. Now just blocked on package:sse

@grouma grouma mentioned this issue May 10, 2021
Merged
@kenzieschmoll kenzieschmoll mentioned this issue May 13, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kenzieschmoll kenzieschmoll

Labels
None yet
Projects
None yet
Milestone
M29
Development

Successfully merging a pull request may close this issue.

Migrate devtools_server to null safety kenzieschmoll/devtools
2 participants
@jacob314 @kenzieschmoll