Merge branch 'master' of ssh://git.10gen.com/data/gitroot/p

2024-12-01 01:21:03 +01:00 · 2009-01-27 12:30:58 -05:00 · 2009-01-27 12:30:58 -05:00 · 7a43906136
commit 7a43906136
parent 103aa3058e 6ffc4ecfa7
1 changed files with 1 additions and 1 deletions
--- a/db/db.cpp
+++ b/db/db.cpp
@ -583,8 +583,8 @@ namespace mongo {
        {
            dblock lk;
            log() << "now exiting" << endl;
-            exit(12);
        }
+        exit(12);
    }

    void setupSignals() {