[Mldonkey-commits] Changes to mldonkey/src/daemon/driver/driverMain.ml

[mldonkey-commits]

Index: mldonkey/src/daemon/driver/driverMain.ml
diff -u mldonkey/src/daemon/driver/driverMain.ml:1.67 
mldonkey/src/daemon/driver/driverMain.ml:1.68
--- mldonkey/src/daemon/driver/driverMain.ml:1.67       Fri Aug 26 21:12:23 2005
+++ mldonkey/src/daemon/driver/driverMain.ml    Sun Aug 28 10:49:49 2005
@@ -645,6 +645,7 @@
         lprintf_nl (_b "Exiting...");
         exit 73;
   end;
+  Unix32.external_start ();
   CommonGlobals.do_at_exit (fun _ ->
       (* If we have an error with too many file-descriptors,
          just close all of them *)
@@ -661,6 +662,7 @@
       DriverInteractive.save_config ();
       CommonComplexOptions.save_sources ();
       CommonComplexOptions.backup_options ();
+      Unix32.external_exit ();
       lprintf_nl (_b "Core stopped")
     );