Skip to content

fix: Cleanup output channels when restarting server#12470

Merged
bors merged 1 commit into
rust-lang:masterfrom
Veykril:output-ch
Jun 5, 2022
Merged

fix: Cleanup output channels when restarting server#12470
bors merged 1 commit into
rust-lang:masterfrom
Veykril:output-ch

Conversation

@Veykril

@Veykril Veykril commented Jun 5, 2022

Copy link
Copy Markdown
Member

Fixes #12469

@Veykril

Veykril commented Jun 5, 2022

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented Jun 5, 2022

Copy link
Copy Markdown
Contributor

📌 Commit fd298b3 has been approved by Veykril

@bors

bors commented Jun 5, 2022

Copy link
Copy Markdown
Contributor

⌛ Testing commit fd298b3 with merge 6667061...

@bors

bors commented Jun 5, 2022

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 6667061 to master...

@bors bors merged commit 6667061 into rust-lang:master Jun 5, 2022
@Veykril Veykril deleted the output-ch branch June 5, 2022 11:34
@bjorn3

bjorn3 commented Jun 5, 2022

Copy link
Copy Markdown
Member

Does this entirely remove the output channels when restarting? That may lose valuable debugging information. Would reusing the existing output channels be possible?

@Veykril

Veykril commented Jun 5, 2022

Copy link
Copy Markdown
Member Author

The Rust Analyzer Language Server is being lost and recreated on restart already (though sometimes it sticks), not sure if we can keep this one since VSCode is the one creating that.

The trace we should be able to keep.

bors added a commit that referenced this pull request Jun 5, 2022
internal: Keep output channels across restarts

cc #12470
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Log entries are not cleaned up when using "Restart server"

3 participants