From viollet@ensicaen.ismra.fr  Mon Jun  5 10:10:58 2000
Received: from e450.ensicaen.ismra.fr (e450.ensicaen.ismra.fr [193.49.200.148])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id KAA26246
	for <prolog@swi.psy.uva.nl>; Mon, 5 Jun 2000 10:10:57 +0200 (MET DST)
Received: from ibm580.ensicaen.ismra.fr (ibm580.ensicaen.ismra.fr [193.49.200.149])
	by e450.ensicaen.ismra.fr (Postfix) with ESMTP id 3FC1A5E7FA
	for <prolog@swi.psy.uva.nl>; Mon,  5 Jun 2000 10:12:08 +0200 (MET DST)
Date: Mon, 5 Jun 2000 10:11:48 +0100 (NFT)
From: VIOLLET Frederic <viollet@ensicaen.ismra.fr>
To: prolog@swi.psy.uva.nl
Subject: SIGINT?
Message-ID: <Pine.A41.4.05.10006051009140.30484-100000@ibm580.ensicaen.ismra.fr>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII


 Hello,
Is it possible to intercept and handle the SIGINT signal?
I want to execute the halt() predicate when a sigint occurs...
Thank you for your help.


Fred.viollet@mail.dotcom.fr

