Re: interrupting help/1

From: Kish Shen <ks15_at_icparc.ic.ac.uk>
Date: Tue 31 Oct 2000 03:51:12 PM GMT
Message-Id: <E13qdgu-0004gc-00@triumph.icparc.ic.ac.uk>
Problem is due to pager printing out the help disabling ^C, but ECLiPSe still
intercepting it. Fixed by disabling the interrupt handler before calling 
the pager.
Received on Tue Oct 31 15:51:15 2000

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:01 PM GMT GMT