diff options
Diffstat (limited to 'src/compiler/GF/Interactive.hs')
| -rw-r--r-- | src/compiler/GF/Interactive.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/GF/Interactive.hs b/src/compiler/GF/Interactive.hs index 59f7a6bce..184ff7c96 100644 --- a/src/compiler/GF/Interactive.hs +++ b/src/compiler/GF/Interactive.hs @@ -70,8 +70,8 @@ mainServerGFI opts0 port files = jobs = join (flag optJobs opts) execute1' gfenv0 cmd = - do (quit,gfenv) <- runStateT (execute1 cmd) gfenv0 - return $ if quit then Nothing else Just gfenv + do (continue,gfenv) <- runStateT (execute1 cmd) gfenv0 + return $ if continue then Just gfenv else Nothing #else mainServerGFI opts port files = error "GF has not been compiled with server mode support" |