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 /src/programs | |
| 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.
Diffstat (limited to 'src/programs')
0 files changed, 0 insertions, 0 deletions