From 2ace6089e34409270676b17460651ed10963f02c Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 28 Oct 2015 15:03:19 +0000 Subject: [PATCH] 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(-) 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"