[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.73 
mldonkey/src/daemon/driver/driverMain.ml:1.74
--- mldonkey/src/daemon/driver/driverMain.ml:1.73       Sat Sep  3 23:26:30 2005
+++ mldonkey/src/daemon/driver/driverMain.ml    Tue Sep  6 11:29:11 2005
@@ -555,11 +555,11 @@
 
   MlUnix.set_signal  Sys.sigint
     (Sys.Signal_handle (fun _ -> lprintf_nl "Received SIGINT, stopping 
MLDonkey...";
-        CommonGlobals.exit_properly 0));
+        CommonInteractive.clean_exit 0));
 
   MlUnix.set_signal  Sys.sigterm
     (Sys.Signal_handle (fun _ -> lprintf_nl "Received SIGTERM, stopping 
MLDonkey...";
-        CommonGlobals.exit_properly 0));
+        CommonInteractive.clean_exit 0));
 
   if !verbose then lprintf_nl (_b "Activated system signal handling");