1
0
forked from GitHub/gf-core

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.
This commit is contained in:
hallgren
2015-10-28 15:03:19 +00:00
parent 90a5c3fe85
commit 2ace6089e3

View File

@@ -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"