Don't close the database when exiting if it's already closed.

diff --git a/server/mr_main.c b/server/mr_main.c
index f8aa5ba389fbc9277e134e37ff3d603549938872..d5b13763dc37e4d0af71ac7c99ce66905ee71186 100644 (file)
--- a/server/mr_main.c
+++ b/server/mr_main.c
@@ -288,7 +288,7 @@ int main(argc, argv)
                }
        }
        com_err(whoami, 0, "%s", takedown);
-       mr_close_database();
+       if (dormant != ASLEEP) mr_close_database();
        send_zgram("MOIRA", takedown);
        return 0;
 }