diff options
| author | hallgren <hallgren@chalmers.se> | 2015-10-28 15:03:19 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-10-28 15:03:19 +0000 |
| commit | e8b5b8c3908a84dcd00c400ffac69ca82282a0e8 (patch) | |
| tree | 080dbf0f536edad84d72611c26320540bdef138d | |
| parent | 46fc386cfba104b5b49ad41465bf920b60291415 (diff) | |
Fix bug in gf -server mode with /gfshell requests not updating the state of the shell
The test for the quit command had the wrong polarity.
The problem was reported by Fahime Ghasemi on gf-dev mailing list.
| -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" |