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

[mldonkey-commits]

Index: mldonkey/src/daemon/driver/driverCommands.ml
diff -u mldonkey/src/daemon/driver/driverCommands.ml:1.87 
mldonkey/src/daemon/driver/driverCommands.ml:1.88
--- mldonkey/src/daemon/driver/driverCommands.ml:1.87   Fri Sep  2 22:39:59 2005
+++ mldonkey/src/daemon/driver/driverCommands.ml        Tue Sep  6 11:29:11 2005
@@ -287,7 +287,7 @@
     "kill", Arg_none (fun o ->
         if o.conn_user == default_user then
          begin
-            CommonGlobals.exit_properly 0;
+            CommonInteractive.clean_exit 0;
            _s "exit"
          end
         else