Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Set websocket.terminal to None when the child exits
This fixes an error I was seeing when exiting a terminal which is open in multiple tabs at the same time. The code path to resize the terminal to the smallest client window size was taken, which tries to communicate with the (now closed) terminal.
- Loading branch information