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:
1 parent
46fc386cfb
commit
e8b5b8c390
1 file changed
+2
-2
@@ -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"
|
||||
|
||||
Reference in new issue
Block a user