mirror of
https://github.com/mongodb/mongo.git
synced 2024-12-01 09:32:32 +01:00
exit; should exit shell SERVER-683
This commit is contained in:
parent
4ada6f436d
commit
2ea2c01ba5
@ -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 )
|
||||
|
Loading…
Reference in New Issue
Block a user