# HG changeset patch # User Stefan Monnier # Date 1190323103 0 # Node ID 14682d9a9d3cef8c5e24ccf826ee110fa8fb295f # Parent 875f30e5371e04bbe2f049259a76a90a961d2080 (x_delete_terminal): Use terminal->name as liveness status. diff -r 875f30e5371e -r 14682d9a9d3c src/xterm.c --- a/src/xterm.c Thu Sep 20 21:16:26 2007 +0000 +++ b/src/xterm.c Thu Sep 20 21:18:23 2007 +0000 @@ -11311,7 +11311,7 @@ /* Protect against recursive calls. Fdelete_frame in delete_terminal calls us back when it deletes our last frame. */ - if (terminal->deleted) + if (!terminal->name) return; BLOCK_INPUT;