Cleaner subprocess shutdow in trackdb_deinit().

[disorder] / server / dump.c

diff --git a/server/dump.c b/server/dump.c
index 1cee366..3a38352 100644 (file)
--- a/server/dump.c
+++ b/server/dump.c
@@ -423,7 +423,7 @@ int main(int argc, char **argv) {
     do_recompute(remove_pathless);
   }
   trackdb_close();
-  trackdb_deinit();
+  trackdb_deinit(NULL);
   return 0;
 }