From e8b5b8c3908a84dcd00c400ffac69ca82282a0e8 Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 28 Oct 2015 15:03:19 +0000 Subject: 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. --- src/compiler/GF/Interactive.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') 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" -- cgit v1.2.3