On 06/23/2011 08:11 PM, h.g. muller wrote:
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).
Ok no problem. That would also cover more adverse conditions. Regards, Michel
