Improve terminal server teardown behavior.#12205

vorporeal wants to merge 1 commit into

masterwarpdotdev/warp:masterfrom

david/improved-terminal-server-teardownwarpdotdev/warp:david/improved-terminal-server-teardownCopy head branch name to clipboard