diff --git a/xboard.c b/xboard.c
index dae38f2..c7f4876 100644
--- a/xboard.c
+++ b/xboard.c
@@ -2713,6 +2713,7 @@ RETSIGTYPE
IntSigHandler(sig)
int sig;
{
+ EchoOn();
ExitEvent(sig);
}
Indeed it would. But I had already solved it by adding the EchoOn call in ShutDownFrontEnd (called from ExitEvent).
