[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.52 
mldonkey/src/daemon/driver/driverMain.ml:1.53
--- mldonkey/src/daemon/driver/driverMain.ml:1.52       Tue Jul 12 23:11:41 2005
+++ mldonkey/src/daemon/driver/driverMain.ml    Sun Jul 17 16:11:12 2005
@@ -648,6 +648,7 @@
          config files, remove the security space file *)
       Sys.remove security_space_filename;
       DriverInteractive.save_config ();
+      CommonComplexOptions.save_sources ();
 
       lprintf (_b "Core stopped");
       CommonGlobals.print_localtime ()