[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiMain.ml

[mldonkey-commits]

Index: mldonkey/src/gtk2/gui/guiMain.ml
diff -u mldonkey/src/gtk2/gui/guiMain.ml:1.6 
mldonkey/src/gtk2/gui/guiMain.ml:1.7
--- mldonkey/src/gtk2/gui/guiMain.ml:1.6        Mon Oct 31 18:34:02 2005
+++ mldonkey/src/gtk2/gui/guiMain.ml    Sat Nov 12 11:16:36 2005
@@ -807,8 +807,6 @@
   G.get_metrics_from_gtk_font_list ();
 
   let quit () = 
-    chmod_config ();
-    (if !G.is_docked then G.tray.destroy_tray ());
     CommonGlobals.exit_properly 0
   in
   chmod_config ();
@@ -877,8 +875,11 @@
   );
 
   CommonGlobals.do_at_exit (fun _ ->
-      GuiMisc.save_gui_options gui;
-      GuiCom.disconnect gui BasicSocket.Closed_by_user);  
+    chmod_config ();
+    GuiMisc.save_gui_options gui;
+    GuiCom.disconnect gui BasicSocket.Closed_by_user;
+    if !G.is_docked then G.tray.destroy_tray ()
+  );
 
 
   (************ Some hooks ***************)