[Mldonkey-commits] Changes to mldonkey/src/daemon/common/commonTypes.ml

[mldonkey-commits]

Index: mldonkey/src/daemon/common/commonTypes.ml
diff -u mldonkey/src/daemon/common/commonTypes.ml:1.40 
mldonkey/src/daemon/common/commonTypes.ml:1.41
--- mldonkey/src/daemon/common/commonTypes.ml:1.40      Thu Aug 18 14:12:30 2005
+++ mldonkey/src/daemon/common/commonTypes.ml   Tue Sep  6 11:29:10 2005
@@ -491,6 +491,7 @@
     
     mutable op_network_download : (result_info -> file);
     mutable op_network_display_stats : (Buffer.t -> ui_conn -> unit);
+    mutable op_network_clean_exit : (unit -> bool);
   }
 
 and   ui_user = {