# HG changeset patch
# User Stefan Monnier <monnier@iro.umontreal.ca>
# Date 1190323153 0
# Node ID e68aa34ac58f91d7b77aa6a58463524f9428efb9
# Parent  502394270fc6f8d79f10e17e690cf2681d0020ca
(w32_delete_terminal): Use terminal->name as liveness status.

diff -r 502394270fc6 -r e68aa34ac58f src/w32term.c
--- a/src/w32term.c	Thu Sep 20 21:18:47 2007 +0000
+++ b/src/w32term.c	Thu Sep 20 21:19:13 2007 +0000
@@ -6331,7 +6331,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;