# HG changeset patch # User Gerd Moellmann # Date 972313312 0 # Node ID 3558c9628dc9e4f53c6684ea2189ef6230f0e461 # Parent 191ab1dbff565815e8efc99909933740f9767a25 (x_connection_closed): Reset handling_signal. diff -r 191ab1dbff56 -r 3558c9628dc9 src/xterm.c --- a/src/xterm.c Mon Oct 23 13:48:52 2000 +0000 +++ b/src/xterm.c Mon Oct 23 15:01:52 2000 +0000 @@ -11205,6 +11205,7 @@ TOTALLY_UNBLOCK_INPUT; clear_waiting_for_input (); + handling_signal = 0; error ("%s", error_message); }