mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 03:32:51 -06:00
Block SIGINT while running gfInteract, as suggested by Peter.
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user