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

[mldonkey-commits]

Index: mldonkey/src/gtk2/gui/guiCom.ml
diff -u mldonkey/src/gtk2/gui/guiCom.ml:1.3 mldonkey/src/gtk2/gui/guiCom.ml:1.4
--- mldonkey/src/gtk2/gui/guiCom.ml:1.3 Thu Apr  7 16:02:50 2005
+++ mldonkey/src/gtk2/gui/guiCom.ml     Sat Nov 12 11:16:36 2005
@@ -56,13 +56,14 @@
 
 let connection = ref None
 
-let disconnect gui reason = 
+let disconnect gui reason =
   match !connection with
     None -> ()
   | Some sock ->
+      when_disconnected gui;
       TcpBufferedSocket.close sock reason;
-      connection := None;
-      when_disconnected gui
+      connection := None
+
 
 let send t =
   match !connection with