From afac97b82181e2db14226d854761e53c66d98094 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Thu, 15 Jun 2006 01:41:18 +0000
Subject: Block SIGINT while running gfInteract, as suggested by Peter.

---
 src/GF.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/GF.hs')

diff --git a/src/GF.hs b/src/GF.hs
index e0788744c..951bf4b52 100644
--- a/src/GF.hs
+++ b/src/GF.hs
@@ -28,6 +28,7 @@ import GF.Shell.SubShell
 import GF.Shell.ShellCommands
 import GF.Shell.PShell
 import GF.Shell.JGF
+import GF.System.Signal
 import GF.Text.UTF8
 
 import GF.Today (today,version)
@@ -84,7 +85,7 @@ main = do
       st <- useIOE st0 $ 
               foldM (shellStateFromFiles os) st0 fs
       if null fs then return () else (ifNotSil putCPU) 
-      gfInteract (initHState st) 
+      blockInterrupt (gfInteract (initHState st)) 
       return ()
   -- preprocessing gfe
   if opt fromExamples 
-- 
cgit v1.2.3