# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 842634209 0
# Node ID 7f8ce4d3e9556da4a110622aa47902c861f80cfa
# Parent  58556dbdd03dbe04b13dc166ed9eaa15faa7dcc3
(x_connection_closed): Call XtCloseDisplay.

diff -r 58556dbdd03d -r 7f8ce4d3e955 src/xterm.c
--- a/src/xterm.c	Fri Sep 13 16:51:51 1996 +0000
+++ b/src/xterm.c	Fri Sep 13 17:03:29 1996 +0000
@@ -4511,6 +4511,10 @@
 
   /* Indicate that this display is dead.  */
 
+  #ifdef USE_X_TOOLKIT
+  XtCloseDisplay (display);
+  #endif
+
   dpyinfo->display = 0;
 
   /* First delete frames whose minibuffers are on frames