mirror of
https://github.com/mongodb/mongo.git
synced 2024-12-01 01:21:03 +01:00
Merge branch 'master' of ssh://git.10gen.com/data/gitroot/p
This commit is contained in:
commit
8276eb75b7
@ -102,4 +102,9 @@ namespace mongo {
|
||||
printStackTrace();
|
||||
}
|
||||
|
||||
void exit( int status ){
|
||||
dbexit( status );
|
||||
}
|
||||
|
||||
|
||||
} // namespace mongo
|
||||
|
Loading…
Reference in New Issue
Block a user