diff options
| -rw-r--r-- | shell/dbshell.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shell/dbshell.cpp b/shell/dbshell.cpp index 767c4d2ae91..f3147fd3814 100644 --- a/shell/dbshell.cpp +++ b/shell/dbshell.cpp @@ -467,7 +467,7 @@ int _main(int argc, char* argv[]) { } string code = line; - if ( code == "exit" ){ + if ( code == "exit" || code == "exit;" ){ break; } if ( code.size() == 0 ) |