summaryrefslogtreecommitdiff
path: root/src/GF.hs
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2006-06-15 01:41:18 +0000
committerbringert <bringert@cs.chalmers.se>2006-06-15 01:41:18 +0000
commitafac97b82181e2db14226d854761e53c66d98094 (patch)
treea3c61f6b04359f4ce0289bd4ba0863467cc2ea66 /src/GF.hs
parent3efba2f5cc795bd4bbf65224d2c20ce92f6f4a5f (diff)
Block SIGINT while running gfInteract, as suggested by Peter.
Diffstat (limited to 'src/GF.hs')
-rw-r--r--src/GF.hs3
1 files changed, 2 insertions, 1 deletions
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