Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix console disconnection #6517
That's so that when we show an error (which is usually what that code path is used for), we don't leave the console in a messed up state.
So we effectively had two cases to fix in this branch: