diff options
Diffstat (limited to 'src/devices/grohtml/html.cc')
-rwxr-xr-x | src/devices/grohtml/html.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/devices/grohtml/html.cc b/src/devices/grohtml/html.cc index 4c28f4c6..729831fc 100755 --- a/src/devices/grohtml/html.cc +++ b/src/devices/grohtml/html.cc @@ -6546,6 +6546,7 @@ int main(int argc, char **argv) extern const char *Version_string; fprintf(stderr, "grohtml version %s\n", Version_string); fflush(stderr); + exit(0); break; } case 'a': |